From: liana.bakradze Date: Sat, 16 Jul 2016 08:52:26 +0000 (+0300) Subject: disable line numbers and folding for editing mode (EDU-673, EDU-674) X-Git-Tag: appcode/163.1572^0 X-Git-Url: http://git.jetbrains.org/?p=idea%2Fcommunity.git;a=commitdiff_plain;h=3a7e4b02e01b321e2be4c441c98af8a3e73467c3 disable line numbers and folding for editing mode (EDU-673, EDU-674) --- diff --git a/python/educational-core/student/src/com/jetbrains/edu/learning/ui/StudyToolWindow.java b/python/educational-core/student/src/com/jetbrains/edu/learning/ui/StudyToolWindow.java index c206f6679bb2..d6536a790e1b 100644 --- a/python/educational-core/student/src/com/jetbrains/edu/learning/ui/StudyToolWindow.java +++ b/python/educational-core/student/src/com/jetbrains/edu/learning/ui/StudyToolWindow.java @@ -21,6 +21,8 @@ import com.intellij.openapi.actionSystem.*; import com.intellij.openapi.diagnostic.Logger; import com.intellij.openapi.editor.Document; import com.intellij.openapi.editor.EditorFactory; +import com.intellij.openapi.editor.EditorSettings; +import com.intellij.openapi.editor.colors.EditorColorsManager; import com.intellij.openapi.editor.ex.EditorEx; import com.intellij.openapi.extensions.Extensions; import com.intellij.openapi.fileEditor.FileDocumentManager; @@ -40,6 +42,7 @@ import com.jetbrains.edu.learning.stepic.StepicAdaptiveReactionsPanel; import org.jetbrains.annotations.NotNull; import javax.swing.*; +import javax.swing.border.EmptyBorder; import java.awt.*; import java.util.List; import java.util.Map; @@ -250,6 +253,12 @@ public abstract class StudyToolWindow extends SimpleToolWindowPanel implements D } }); JComponent editorComponent = createdEditor.getComponent(); + editorComponent.setBorder(new EmptyBorder(10, 20, 0, 10)); + editorComponent.setBackground(EditorColorsManager.getInstance().getGlobalScheme().getDefaultBackground()); + EditorSettings editorSettings = createdEditor.getSettings(); + editorSettings.setLineMarkerAreaShown(false); + editorSettings.setLineNumbersShown(false); + editorSettings.setFoldingOutlineShown(false); mySplitPane.setFirstComponent(editorComponent); mySplitPane.repaint();