mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
inspection tool window: preview editor proper right margin IDEA-153397
This commit is contained in:
@@ -521,8 +521,6 @@ public class InspectionResultsView extends JPanel implements Disposable, Occuren
|
||||
settings.setAdditionalColumnsCount(0);
|
||||
settings.setAdditionalLinesCount(0);
|
||||
settings.setLeadingWhitespaceShown(true);
|
||||
settings.setRightMarginShown(true);
|
||||
settings.setRightMargin(60);
|
||||
myPreviewEditor.getColorsScheme().setColor(EditorColors.GUTTER_BACKGROUND, myPreviewEditor.getColorsScheme().getDefaultBackground());
|
||||
myPreviewEditor.getScrollPane().setBorder(IdeBorderFactory.createBorder(SideBorder.TOP));
|
||||
UsagePreviewPanel.highlight(Collections.emptyList(), myPreviewEditor, myProject);
|
||||
|
||||
Reference in New Issue
Block a user