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 a43780d1d1
commit 2a6b315d64
1 changed files with 2 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
+2 -2
View File
@@ -277,10 +277,10 @@ public class IpnbFileEditor extends UserDataHolderBase implements FileEditor {
final Rectangle cellBounds = ipnbPanel.getBounds();
final int shift = 2;
if (cellBounds.getY() <= rect.getY()) {
if (cellBounds.getY() <= rect.getY() || cellBounds.getY() >= rect.getY() + rect.height) {
myScrollPane.getVerticalScrollBar().setValue(cellBounds.y - shift);
}
if (cellBounds.getY() + cellBounds.getHeight() > rect.getY() + rect.getHeight()) {
if (cellBounds.getY() + cellBounds.getHeight() > rect.getY() + rect.getHeight() && cellBounds.height < rect.height) {
myScrollPane.getVerticalScrollBar().setValue(cellBounds.y - rect.height + cellBounds.height + shift);
}
}