private void tweakPlatformDefaults() { // TODO[anton] consider making all IDEs use the same settings if (PlatformUtilsCore.isAppCode()) { SCROLL_TAB_LAYOUT_IN_EDITOR = true; ACTIVATE_RIGHT_EDITOR_ON_CLOSE = true; SHOW_ICONS_IN_MENUS = false; } }