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;
}
}
