MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-04-18 20:41:22 +07:00
Code Issues Packages Projects Releases Wiki Activity

EDU-169 Do not expand task window on typing right after the end of the window

Browse Source 
Fixed for the end of file inserting new line
This commit is contained in:
Ekaterina Tuzova
2016-07-26 18:39:29 +03:00
parent 5df69de8be
commit 2c6d6d28ab
2 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
python/educational-python/src/com/jetbrains/python/edu/PyCharmEduInitialConfigurator.java
View File

@@ -96,6 +96,7 @@ public class PyCharmEduInitialConfigurator {
@NonNls private static final String CONFIGURED = "PyCharmEDU.InitialConfiguration";
@NonNls private static final String CONFIGURED_V1 = "PyCharmEDU.InitialConfiguration.V1";
@NonNls private static final String CONFIGURED_V2 = "PyCharmEDU.InitialConfiguration.V2";
private static final Set<String> UNRELATED_TIPS = Sets.newHashSet("LiveTemplatesDjango.html", "TerminalOpen.html",
"Terminal.html", "ConfiguringTerminal.html");
@@ -142,6 +143,11 @@ public class PyCharmEduInitialConfigurator {
FileTypeManager fileTypeManager,
final ProjectManagerEx projectManager) {
final UISettings uiSettings = UISettings.getInstance();
if (!propertiesComponent.getBoolean(CONFIGURED_V2)) {
EditorSettingsExternalizable editorSettings = EditorSettingsExternalizable.getInstance();
editorSettings.setEnsureNewLineAtEOF(true);
propertiesComponent.setValue(CONFIGURED_V2, true);
}
if (!propertiesComponent.getBoolean(CONFIGURED_V1)) {
patchMainMenu();
uiSettings.SHOW_NAVIGATION_BAR = false;