mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
PY-18440 Python consoles with scrollbar constantly twitching on repaint (quickfix)
This commit is contained in:
@@ -272,7 +272,7 @@ public class JBViewport extends JViewport implements ZoomableViewport {
|
||||
|
||||
private static void updateBorder(Component view) {
|
||||
if (view instanceof JTable) return; // tables are not supported yet
|
||||
if (view instanceof JComponent) {
|
||||
if (view instanceof JList || view instanceof JTree || view instanceof JComponent && Registry.is("ide.scroll.align.component")) {
|
||||
JComponent component = (JComponent)view;
|
||||
Border border = component.getBorder();
|
||||
if (border instanceof ViewBorder) return; // already set
|
||||
|
||||
@@ -109,6 +109,7 @@ ide.tree.deferred.icon.invalidates.cache=true
|
||||
ide.splitter.mouseZone=6
|
||||
ide.smart.horizontal.scrolling=true
|
||||
ide.scroll.new.layout=true
|
||||
ide.scroll.align.component=false
|
||||
ide.scroll.background.auto=false
|
||||
ide.scroll.bar.expand.animation=false
|
||||
ide.scroll.track.border.paint=false
|
||||
|
||||
Reference in New Issue
Block a user