mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
[PyCharm] PY-65441 Jupyter (fix): Fixed visual artefacts in gutter after removing folding bar.
GitOrigin-RevId: bba3040975421d810cdff3178b5a58633f950df9
This commit is contained in:
committed by
intellij-monorepo-bot
parent
9dbc5b0a65
commit
b66ffeeffd
@@ -47,8 +47,13 @@ class EditorCellFoldingBar(
|
||||
}
|
||||
|
||||
fun dispose() {
|
||||
panel?.let { editor.gutterComponentEx.remove(it) }
|
||||
panel = null
|
||||
panel?.let {
|
||||
editor.gutterComponentEx.apply {
|
||||
remove(it)
|
||||
repaint()
|
||||
}
|
||||
panel = null
|
||||
}
|
||||
}
|
||||
|
||||
fun updateBounds() {
|
||||
|
||||
Reference in New Issue
Block a user