/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/test/jdk/javax/swing/border/ |
H A D | Test7022041.java | 105 Font titledBorderFont = titledBorder.getTitleFont(); in checkTitleFont() 124 if (!font.equals(titledBorder.getTitleFont())) { in checkTitleFont() 130 if (!defaultFont.equals(titledBorder.getTitleFont())) { in checkTitleFont()
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/test/jdk/javax/swing/border/ |
H A D | Test7022041.java | 105 Font titledBorderFont = titledBorder.getTitleFont(); in checkTitleFont() 124 if (!font.equals(titledBorder.getTitleFont())) { in checkTitleFont() 130 if (!defaultFont.equals(titledBorder.getTitleFont())) { in checkTitleFont()
|
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/test/jdk/javax/swing/border/ |
H A D | Test7022041.java | 105 Font titledBorderFont = titledBorder.getTitleFont(); in checkTitleFont() 124 if (!font.equals(titledBorder.getTitleFont())) { in checkTitleFont() 130 if (!defaultFont.equals(titledBorder.getTitleFont())) { in checkTitleFont()
|
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/test/jdk/javax/swing/border/ |
H A D | Test7022041.java | 105 Font titledBorderFont = titledBorder.getTitleFont(); in checkTitleFont() 124 if (!font.equals(titledBorder.getTitleFont())) { in checkTitleFont() 130 if (!defaultFont.equals(titledBorder.getTitleFont())) { in checkTitleFont()
|
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/test/jdk/javax/swing/border/ |
H A D | Test7022041.java | 105 Font titledBorderFont = titledBorder.getTitleFont(); in checkTitleFont() 124 if (!font.equals(titledBorder.getTitleFont())) { in checkTitleFont() 130 if (!defaultFont.equals(titledBorder.getTitleFont())) { in checkTitleFont()
|
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/test/jdk/javax/swing/border/ |
H A D | Test7022041.java | 105 Font titledBorderFont = titledBorder.getTitleFont(); in checkTitleFont() 124 if (!font.equals(titledBorder.getTitleFont())) { in checkTitleFont() 130 if (!defaultFont.equals(titledBorder.getTitleFont())) { in checkTitleFont()
|
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/test/jdk/javax/swing/border/ |
H A D | Test7022041.java | 105 Font titledBorderFont = titledBorder.getTitleFont(); in checkTitleFont() 124 if (!font.equals(titledBorder.getTitleFont())) { in checkTitleFont() 130 if (!defaultFont.equals(titledBorder.getTitleFont())) { in checkTitleFont()
|
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/test/javax/swing/border/ |
H A D | Test7022041.java | 105 Font titledBorderFont = titledBorder.getTitleFont(); in checkTitleFont() 124 if (!font.equals(titledBorder.getTitleFont())) { in checkTitleFont() 130 if (!defaultFont.equals(titledBorder.getTitleFont())) { in checkTitleFont()
|
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/test/jdk/javax/swing/border/ |
H A D | Test7022041.java | 105 Font titledBorderFont = titledBorder.getTitleFont(); in checkTitleFont() 124 if (!font.equals(titledBorder.getTitleFont())) { in checkTitleFont() 130 if (!defaultFont.equals(titledBorder.getTitleFont())) { in checkTitleFont()
|
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/test/javax/swing/border/ |
H A D | Test7022041.java | 105 Font titledBorderFont = titledBorder.getTitleFont(); in checkTitleFont() 124 if (!font.equals(titledBorder.getTitleFont())) { in checkTitleFont() 130 if (!defaultFont.equals(titledBorder.getTitleFont())) { in checkTitleFont()
|
/dports/games/supertuxkart/SuperTuxKart-1.2-src/src/guiengine/widgets/ |
H A D | label_widget.cpp | 98 irrwidget->setOverrideFont( GUIEngine::getTitleFont() ); in add() 136 fwidth = GUIEngine::getTitleFont()->getDimension(text.c_str()).Width; in setText()
|
/dports/java/jfreechart/jfreechart-1.0.17/source/org/jfree/chart/editor/ |
H A D | DefaultTitleEditor.java | 190 public Font getTitleFont() { in getTitleFont() method in DefaultTitleEditor 296 title.setFont(getTitleFont()); in setTitleProperties()
|
/dports/graphics/lightzone/LightZone-4.1.8-3-g36e87773/lightcrafts/src/com/lightcrafts/ui/toolkit/ |
H A D | BoxedButton.java | 22 private static final Font font = LightZoneSkin.fontSet.getTitleFont();
|
/dports/audio/atunes/atunes-3.1.2/src/net/sourceforge/atunes/gui/lookandfeel/substance/ |
H A D | CustomFontSet.java | 68 public FontUIResource getTitleFont() { in getTitleFont() method in CustomFontSet
|
/dports/java/jfreechart/jfreechart-1.0.17/swt/org/jfree/experimental/chart/swt/editor/ |
H A D | SWTTitleEditor.java | 246 public FontData getTitleFont() { in getTitleFont() method in SWTTitleEditor 273 title.setFont(SWTUtils.toAwtFont(getDisplay(), getTitleFont(), in setTitleProperties()
|
/dports/games/libretro-scummvm/scummvm-7b1e929/engines/wage/ |
H A D | gui.h | 150 const Graphics::Font *getTitleFont();
|
/dports/games/scummvm/scummvm-2.5.1/engines/wage/ |
H A D | gui.h | 150 const Graphics::Font *getTitleFont();
|
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ui/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/dialogs/cpd/ |
H A D | NameAndDescriptionToolTip.java | 85 title.setFont(getTitleFont()); in createToolTipContentArea() 104 Font getTitleFont() { in getTitleFont() method in NameAndDescriptionToolTip
|
/dports/math/scilab/scilab-6.1.1/scilab/modules/preferences/src/java/org/scilab/modules/preferences/Component/ |
H A D | Title.java | 71 Font font = title.getTitleFont(); in Title()
|
/dports/x11/bbappconf/bbappconf-0.0.2/ |
H A D | resource.hh | 115 XFontStruct *getTitleFont(void) { return menu.font; } in getTitleFont() function in Resource
|
/dports/games/supertuxkart/SuperTuxKart-1.2-src/src/states_screens/ |
H A D | race_gui_overworld.cpp | 528 gui::ScalableFont* font = GUIEngine::getTitleFont(); in drawGlobalMiniMap() 577 gui::ScalableFont* font = GUIEngine::getTitleFont(); in drawGlobalMiniMap() 593 gui::ScalableFont* font = GUIEngine::getTitleFont(); in drawGlobalMiniMap()
|
/dports/games/libretro-scummvm/scummvm-7b1e929/graphics/macgui/ |
H A D | macwindow.h | 295 const Font *getTitleFont();
|
/dports/games/supertuxkart/SuperTuxKart-1.2-src/src/guiengine/ |
H A D | engine.hpp | 163 inline irr::gui::ScalableFont* getTitleFont() { return Private::g_title_font; } in getTitleFont() function
|
/dports/graphics/lightzone/LightZone-4.1.8-3-g36e87773/lightcrafts/src/com/lightcrafts/ui/operation/ |
H A D | SelectableTitle.java | 111 Font font = getTitleFont(); in setTitle() 281 private static Font getTitleFont() { in getTitleFont() method in SelectableTitle
|
/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gcc/libjava/javax/swing/border/ |
H A D | TitledBorder.java | 777 public Font getTitleFont() in getTitleFont() method in TitledBorder 934 f = getTitleFont(); in getFont()
|