Home
last modified time | relevance | path

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

/dports/cad/digital/Digital-0.27/src/main/java/de/neemann/digital/gui/
H A DSettings.java51 intList.add(Keys.SETTINGS_NOTOOLTIPS); in createKeyList()
/dports/cad/digital/Digital-0.27/src/main/java/de/neemann/digital/core/element/
H A DKeys.java758 public static final Key<Boolean> SETTINGS_NOTOOLTIPS = field in Keys
/dports/cad/digital/Digital-0.27/src/main/java/de/neemann/digital/gui/components/
H A DCircuitComponent.java588 if (Settings.getInstance().get(Keys.SETTINGS_NOTOOLTIPS))