Home
last modified time | relevance | path

Searched refs:previouslyCreatedFont (Results 1 – 3 of 3) sorted by relevance

/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ui/bundles/org.eclipse.jface/src/org/eclipse/jface/resource/
H A DArrayFontDescriptor.java113 public void destroyFont(Font previouslyCreatedFont) { in destroyFont() argument
114 if (previouslyCreatedFont == originalFont) { in destroyFont()
117 previouslyCreatedFont.dispose(); in destroyFont()
H A DFontDescriptor.java275 public abstract void destroyFont(Font previouslyCreatedFont); in destroyFont() argument
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ui/bundles/org.eclipse.ui.forms/src/org/eclipse/ui/internal/forms/widgets/
H A DFormFonts.java73 public void destroyFont(Font previouslyCreatedFont) { in destroyFont() argument
74 previouslyCreatedFont.dispose(); in destroyFont()