IDEA-127739 Navigation Tab
[idea/community.git] / platform / editor-ui-api / src / com / intellij / ide / ui / UISettings.java
1 /*
2  * Copyright 2000-2014 JetBrains s.r.o.
3  *
4  * Licensed under the Apache License, Version 2.0 (the "License");
5  * you may not use this file except in compliance with the License.
6  * You may obtain a copy of the License at
7  *
8  * http://www.apache.org/licenses/LICENSE-2.0
9  *
10  * Unless required by applicable law or agreed to in writing, software
11  * distributed under the License is distributed on an "AS IS" BASIS,
12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  * See the License for the specific language governing permissions and
14  * limitations under the License.
15  */
16 package com.intellij.ide.ui;
17
18 import com.intellij.ide.IdeBundle;
19 import com.intellij.openapi.Disposable;
20 import com.intellij.openapi.application.Application;
21 import com.intellij.openapi.application.ApplicationManager;
22 import com.intellij.openapi.application.PathManager;
23 import com.intellij.openapi.components.*;
24 import com.intellij.openapi.util.Pair;
25 import com.intellij.openapi.util.SimpleModificationTracker;
26 import com.intellij.openapi.util.SystemInfo;
27 import com.intellij.util.EventDispatcher;
28 import com.intellij.util.PlatformUtilsCore;
29 import com.intellij.util.SystemProperties;
30 import com.intellij.util.ui.UIUtil;
31 import com.intellij.util.xmlb.Accessor;
32 import com.intellij.util.xmlb.SerializationFilter;
33 import com.intellij.util.xmlb.XmlSerializerUtil;
34 import com.intellij.util.xmlb.annotations.Property;
35 import com.intellij.util.xmlb.annotations.Transient;
36 import org.jetbrains.annotations.NonNls;
37 import org.jetbrains.annotations.NotNull;
38
39 import javax.swing.*;
40 import java.awt.*;
41 import java.io.File;
42 import java.util.Map;
43
44 import static com.intellij.util.ui.UIUtil.isValidFont;
45
46 @State(
47   name = "UISettings",
48   storages = {
49     @Storage(
50       file = StoragePathMacros.APP_CONFIG + "/ui.lnf.xml"
51     )}
52 )
53 public class UISettings extends SimpleModificationTracker implements PersistentStateComponent<UISettings>, ExportableApplicationComponent {
54   /** Not tabbed pane. */
55   public static final int TABS_NONE = 0;
56
57   public static UISettings getInstance() {
58     return ApplicationManager.getApplication().getComponent(UISettings.class);
59   }
60
61   /**
62    * Use this method if you are not sure whether the application is initialized.
63    * @return persisted UISettings instance or default values.
64    */
65   public static UISettings getShadowInstance() {
66     Application application = ApplicationManager.getApplication();
67     UISettings settings = application == null ? null : application.getComponent(UISettings.class);
68     return settings == null ? new UISettings() : settings;
69   }
70
71   @Property(filter = FontFilter.class) public String FONT_FACE;
72   @Property(filter = FontFilter.class) public int FONT_SIZE;
73   public int RECENT_FILES_LIMIT = 50;
74   public int CONSOLE_COMMAND_HISTORY_LIMIT = 300;
75   public int EDITOR_TAB_LIMIT = 10;
76   public int EDITOR_TAB_TITLE_LIMIT = 100;
77   public boolean ANIMATE_WINDOWS = true;
78   public int ANIMATION_SPEED = 2000; // Pixels per second
79   public boolean SHOW_TOOL_WINDOW_NUMBERS = true;
80   public boolean HIDE_TOOL_STRIPES = true;
81   public boolean WIDESCREEN_SUPPORT = false;
82   public boolean LEFT_HORIZONTAL_SPLIT = false;
83   public boolean RIGHT_HORIZONTAL_SPLIT = false;
84   public boolean SHOW_EDITOR_TOOLTIP = true;
85   public boolean SHOW_MEMORY_INDICATOR = false;
86   public boolean ALLOW_MERGE_BUTTONS = true;
87   public boolean SHOW_MAIN_TOOLBAR = false;
88   public boolean SHOW_STATUS_BAR = true;
89   public boolean SHOW_NAVIGATION_BAR = true;
90   public boolean ALWAYS_SHOW_WINDOW_BUTTONS = false;
91   public boolean CYCLE_SCROLLING = true;
92   public boolean SCROLL_TAB_LAYOUT_IN_EDITOR = false;
93   public boolean SHOW_CLOSE_BUTTON = true;
94   public int EDITOR_TAB_PLACEMENT = 1;
95   public boolean HIDE_KNOWN_EXTENSION_IN_TABS = false;
96   public boolean SHOW_ICONS_IN_QUICK_NAVIGATION = true;
97   public boolean CLOSE_NON_MODIFIED_FILES_FIRST = false;
98   public boolean ACTIVATE_MRU_EDITOR_ON_CLOSE = false;
99   public boolean ACTIVATE_RIGHT_EDITOR_ON_CLOSE = false;
100   public boolean ANTIALIASING_IN_EDITOR = true;
101   public boolean MOVE_MOUSE_ON_DEFAULT_BUTTON = false;
102   public boolean ENABLE_ALPHA_MODE = false;
103   public int ALPHA_MODE_DELAY = 1500;
104   public float ALPHA_MODE_RATIO = 0.5f;
105   public int MAX_CLIPBOARD_CONTENTS = 5;
106   public boolean OVERRIDE_NONIDEA_LAF_FONTS = false;
107   public boolean SHOW_ICONS_IN_MENUS = true;
108   public boolean DISABLE_MNEMONICS = SystemInfo.isMac; // IDEADEV-33409, should be disabled by default on MacOS
109   public boolean DISABLE_MNEMONICS_IN_CONTROLS = false;
110   public boolean USE_SMALL_LABELS_ON_TABS = SystemInfo.isMac;
111   public boolean SORT_LOOKUP_ELEMENTS_LEXICOGRAPHICALLY = false;
112   public int MAX_LOOKUP_WIDTH2 = 500;
113   public int MAX_LOOKUP_LIST_HEIGHT = 11;
114   public boolean HIDE_NAVIGATION_ON_FOCUS_LOSS = true;
115   public boolean DND_WITH_PRESSED_ALT_ONLY = false;
116   public boolean FILE_COLORS_IN_PROJECT_VIEW = false;
117   public boolean DEFAULT_AUTOSCROLL_TO_SOURCE = false;
118   @Transient
119   public boolean PRESENTATION_MODE = false;
120   public int PRESENTATION_MODE_FONT_SIZE = 24;
121   public boolean MARK_MODIFIED_TABS_WITH_ASTERISK = false;
122   public boolean SHOW_TABS_TOOLTIPS = true;
123   public boolean SHOW_DIRECTORY_FOR_NON_UNIQUE_FILENAMES = true;
124   public boolean NAVIGATE_TO_PREVIEW = false;
125
126   private final EventDispatcher<UISettingsListener> myDispatcher = EventDispatcher.create(UISettingsListener.class);
127
128   public UISettings() {
129     tweakPlatformDefaults();
130     setSystemFontFaceAndSize();
131   }
132
133   private void tweakPlatformDefaults() {
134     // TODO[anton] consider making all IDEs use the same settings
135     if (PlatformUtilsCore.isAppCode()) {
136       SCROLL_TAB_LAYOUT_IN_EDITOR = true;
137       ACTIVATE_RIGHT_EDITOR_ON_CLOSE = true;
138       SHOW_ICONS_IN_MENUS = false;
139     }
140   }
141
142   /**
143    * @deprecated use {@link UISettings#addUISettingsListener(com.intellij.ide.ui.UISettingsListener, Disposable disposable)} instead.
144    */
145   public void addUISettingsListener(UISettingsListener listener) {
146     myDispatcher.addListener(listener);
147   }
148
149   public void addUISettingsListener(@NotNull final UISettingsListener listener, @NotNull Disposable parentDisposable) {
150     myDispatcher.addListener(listener, parentDisposable);
151   }
152
153   /**
154    * Notifies all registered listeners that UI settings has been changed.
155    */
156   public void fireUISettingsChanged() {
157     incModificationCount();
158     myDispatcher.getMulticaster().uiSettingsChanged(this);
159     ApplicationManager.getApplication().getMessageBus().syncPublisher(UISettingsListener.TOPIC).uiSettingsChanged(this);
160   }
161
162   public void removeUISettingsListener(UISettingsListener listener) {
163     myDispatcher.removeListener(listener);
164   }
165
166   private void setSystemFontFaceAndSize() {
167     if (FONT_FACE == null || FONT_SIZE <= 0) {
168       final Pair<String, Integer> fontData = getSystemFontFaceAndSize();
169       FONT_FACE = fontData.first;
170       FONT_SIZE = fontData.second;
171     }
172   }
173
174   private static Pair<String, Integer> getSystemFontFaceAndSize() {
175     final Pair<String,Integer> fontData = UIUtil.getSystemFontData();
176     if (fontData != null) {
177       return fontData;
178     }
179
180     return Pair.create("Dialog", 12);
181   }
182
183   public static class FontFilter implements SerializationFilter {
184     public boolean accepts(Accessor accessor, Object bean) {
185       UISettings settings = (UISettings)bean;
186       return !hasDefaultFontSetting(settings);
187     }
188   }
189
190   private static boolean hasDefaultFontSetting(final UISettings settings) {
191     final Pair<String, Integer> fontData = getSystemFontFaceAndSize();
192     return fontData.first.equals(settings.FONT_FACE) && fontData.second.equals(settings.FONT_SIZE);
193   }
194
195   public UISettings getState() {
196     return this;
197   }
198
199   public void loadState(UISettings object) {
200     XmlSerializerUtil.copyBean(object, this);
201
202     // Check tab placement in editor
203     if (EDITOR_TAB_PLACEMENT != TABS_NONE &&
204         EDITOR_TAB_PLACEMENT != SwingConstants.TOP &&
205         EDITOR_TAB_PLACEMENT != SwingConstants.LEFT &&
206         EDITOR_TAB_PLACEMENT != SwingConstants.BOTTOM &&
207         EDITOR_TAB_PLACEMENT != SwingConstants.RIGHT) {
208       EDITOR_TAB_PLACEMENT = SwingConstants.TOP;
209     }
210
211     // Check that alpha delay and ratio are valid
212     if (ALPHA_MODE_DELAY < 0) {
213       ALPHA_MODE_DELAY = 1500;
214     }
215     if (ALPHA_MODE_RATIO < 0.0f || ALPHA_MODE_RATIO > 1.0f) {
216       ALPHA_MODE_RATIO = 0.5f;
217     }
218
219     setSystemFontFaceAndSize();
220     // 1. Sometimes system font cannot display standard ASCII symbols. If so we have
221     // find any other suitable font withing "preferred" fonts first.
222     boolean fontIsValid = isValidFont(new Font(FONT_FACE, Font.PLAIN, FONT_SIZE));
223     if (!fontIsValid) {
224       @NonNls final String[] preferredFonts = {"dialog", "Arial", "Tahoma"};
225       for (String preferredFont : preferredFonts) {
226         if (isValidFont(new Font(preferredFont, Font.PLAIN, FONT_SIZE))) {
227           FONT_FACE = preferredFont;
228           fontIsValid = true;
229           break;
230         }
231       }
232
233       // 2. If all preferred fonts are not valid in current environment
234       // we have to find first valid font (if any)
235       if (!fontIsValid) {
236         String[] fontNames = UIUtil.getValidFontNames(false);
237         if (fontNames.length > 0) {
238           FONT_FACE = fontNames[0];
239         }
240       }
241     }
242
243     if (MAX_CLIPBOARD_CONTENTS <= 0) {
244       MAX_CLIPBOARD_CONTENTS = 5;
245     }
246
247     fireUISettingsChanged();
248   }
249
250   private static final boolean DEFAULT_ALIASING             =
251     SystemProperties.getBooleanProperty("idea.use.default.antialiasing.in.editor", false);
252   private static final boolean FORCE_USE_FRACTIONAL_METRICS =
253     SystemProperties.getBooleanProperty("idea.force.use.fractional.metrics", false);
254
255   public static void setupAntialiasing(final Graphics g) {
256     if (DEFAULT_ALIASING) return;
257
258     Graphics2D g2d = (Graphics2D)g;
259     UISettings uiSettings = getInstance();
260
261     g2d.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_OFF);
262     if (!isRemoteDesktopConnected() && UIUtil.isRetina()) {
263       g2d.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON);
264     }
265     else {
266       if (uiSettings == null || uiSettings.ANTIALIASING_IN_EDITOR) {
267         Toolkit tk = Toolkit.getDefaultToolkit();
268         //noinspection HardCodedStringLiteral
269         Map map = (Map)tk.getDesktopProperty("awt.font.desktophints");
270         if (map != null) {
271           if (isRemoteDesktopConnected()) {
272             g2d.setRenderingHint(RenderingHints.KEY_TEXT_ANTIALIASING, RenderingHints.VALUE_TEXT_ANTIALIAS_DEFAULT);
273           }
274           else {
275             g2d.addRenderingHints(map);
276           }
277         }
278         else {
279           g2d.setRenderingHint(RenderingHints.KEY_TEXT_ANTIALIASING, RenderingHints.VALUE_TEXT_ANTIALIAS_ON);
280         }
281         if (FORCE_USE_FRACTIONAL_METRICS) {
282           g2d.setRenderingHint(RenderingHints.KEY_FRACTIONALMETRICS, RenderingHints.VALUE_FRACTIONALMETRICS_ON);
283         }
284       }
285       else {
286         g2d.setRenderingHint(RenderingHints.KEY_TEXT_ANTIALIASING, RenderingHints.VALUE_TEXT_ANTIALIAS_OFF);
287       }
288     }
289   }
290
291   /**
292    * @return true when Remote Desktop (i.e. Windows RDP) is connected
293    */
294   // TODO[neuro]: move to UIUtil
295   public static boolean isRemoteDesktopConnected() {
296     if (System.getProperty("os.name").contains("Windows")) {
297       final Map map = (Map)Toolkit.getDefaultToolkit().getDesktopProperty("awt.font.desktophints");
298       return map != null && RenderingHints.VALUE_TEXT_ANTIALIAS_DEFAULT.equals(map.get(RenderingHints.KEY_TEXT_ANTIALIASING));
299     }
300     return false;
301   }
302
303   @NotNull
304   @Override
305   public File[] getExportFiles() {
306     return new File[]{PathManager.getOptionsFile("ui.lnf")};
307   }
308
309   @NotNull
310   @Override
311   public String getPresentableName() {
312     return IdeBundle.message("ui.settings");
313   }
314
315   @NonNls
316   @NotNull
317   @Override
318   public String getComponentName() {
319     return "UISettings";
320   }
321
322   @Override
323   public void initComponent() { }
324
325   @Override
326   public void disposeComponent() { }
327 }