mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
[editor] IJPL-793 rename options
Space-RevId: b1517ed61d29b31c2df80ef93c038df284491420 GitOrigin-RevId: 0d8c4b8d7077ca6772275352cf0962e0e77409d3
This commit is contained in:
committed by
intellij-monorepo-bot
parent
da5d67305b
commit
0e14432c31
@@ -280,7 +280,7 @@ label.show.sticky.lines=Maximum number of lines:
|
||||
configure.sticky.lines.colors=Manage colors
|
||||
checkbox.right.margin=Show hard wrap and visual guides (configured in Code Style options)
|
||||
checkbox.use.block.caret=Use block caret
|
||||
checkbox.use.animated.caret=Use animated (smooth) caret:
|
||||
checkbox.use.animated.caret=Use smooth caret movement
|
||||
checkbox.use.full.line.height.caret=Use full line height caret
|
||||
checkbox.highlight.selection.occurrences=Highlight occurrences of selected text
|
||||
checkbox.caret.blinking.ms=Caret blinking (ms):
|
||||
|
||||
+2
-2
@@ -80,8 +80,8 @@ class EditorAppearanceConfigurable : BoundCompositeSearchableConfigurable<Unname
|
||||
DefaultComboBoxModel(EditorSettings.CaretEasing.entries.toTypedArray()),
|
||||
renderer = textListCellRenderer {
|
||||
when (it) {
|
||||
EditorSettings.CaretEasing.NINJA -> "Ninja"
|
||||
EditorSettings.CaretEasing.EASE -> "Ease"
|
||||
EditorSettings.CaretEasing.NINJA -> "Snappy"
|
||||
EditorSettings.CaretEasing.EASE -> "Smooth"
|
||||
null -> ""
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user