Searched refs:DEFAULT_ENABLE_TIP3 (Results 1 – 1 of 1) sorted by relevance
1537 private static final boolean DEFAULT_ENABLE_TIP3 = true; field in InternalResourceService.ConfigObserver1540 public boolean ENABLE_TIP3 = DEFAULT_ENABLE_TIP3;1592 ENABLE_TIP3 = properties.getBoolean(name, DEFAULT_ENABLE_TIP3); in onPropertiesChanged()