mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
[terminal] IDEA-338879 Ignore additional space at bottom editor setting
GitOrigin-RevId: 8d75b86e2ac41254d8bbfaa00135d1bf0b885689
This commit is contained in:
committed by
intellij-monorepo-bot
parent
829213a62e
commit
381ce4b53e
@@ -59,6 +59,7 @@ object TerminalUiUtils {
|
||||
isCaretRowShown = false
|
||||
additionalLinesCount = 0
|
||||
additionalColumnsCount = 0
|
||||
isAdditionalPageAtBottom = false
|
||||
isBlockCursor = true
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user