mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
use transparent scroll bars in editor by default
This commit is contained in:
+1
-1
@@ -479,7 +479,7 @@ public class EditorMarkupModelImpl extends MarkupModelImpl implements EditorMark
|
||||
}
|
||||
|
||||
private boolean transparent() {
|
||||
return !myEditor.shouldScrollBarBeOpaque() && EditorUtil.isRealFileEditor(myEditor);
|
||||
return !myEditor.shouldScrollBarBeOpaque();
|
||||
}
|
||||
|
||||
private class MyErrorPanel extends ButtonlessScrollBarUI implements MouseMotionListener, MouseListener, MouseWheelListener, UISettingsListener {
|
||||
|
||||
@@ -759,7 +759,7 @@ editor.caret.width=2
|
||||
editor.caret.width.description=Caret width
|
||||
editor.caret.width.restartRequired=true
|
||||
|
||||
editor.transparent.scrollbar=false
|
||||
editor.transparent.scrollbar=true
|
||||
editor.transparent.scrollbar.description=Don't paint background for editor scroll bars
|
||||
|
||||
editor.full.width.scrollbar=false
|
||||
|
||||
Reference in New Issue
Block a user