MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Jupyter: update scroll position accurately

Browse Source
This commit is contained in:
Ekaterina Tuzova
2017-06-09 18:49:25 +03:00
parent 67eb2aa881
commit a43780d1d1
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/ipnb/src/org/jetbrains/plugins/ipnb/editor/IpnbFileEditor.java
+3 -2
View File
@@ -276,11 +276,12 @@ public class IpnbFileEditor extends UserDataHolderBase implements FileEditor {
final Rectangle rect = myIpnbFilePanel.getVisibleRect();
final Rectangle cellBounds = ipnbPanel.getBounds();
final int shift = 2;
if (cellBounds.getY() <= rect.getY()) {
myScrollPane.getVerticalScrollBar().setValue(cellBounds.y - rect.height + cellBounds.height);
myScrollPane.getVerticalScrollBar().setValue(cellBounds.y - shift);
}
if (cellBounds.getY() + cellBounds.getHeight() > rect.getY() + rect.getHeight()) {
myScrollPane.getVerticalScrollBar().setValue(cellBounds.y);
myScrollPane.getVerticalScrollBar().setValue(cellBounds.y - rect.height + cellBounds.height + shift);
}
}