Isabelle/jEdit config

mdl_new_Emacs_keys.props

#jEdit's keymap mdl_new_Emacs
#Tue Jul 13 12:58:12 JST 2021
C/Include_Guard.shortcut=CA+i
C/Toggle_Header_Source.shortcut=A+h
C/Toggle_Header_Source.shortcut2=CA+h
Clipboard/Cut_Lines.shortcut=C+m C+k
Editing/Move_Lines_Down.shortcut=C+m C+d
Editing/Move_Lines_Up.shortcut=C+m C+u
Emacs/Emacs_Backward_Sentence.shortcut=A+a
Emacs/Emacs_Capitalize_Word.shortcut=A+c
Emacs/Emacs_Center_Line.shortcut=A+s
Emacs/Emacs_Downcase_Word.shortcut=A+l
Emacs/Emacs_Exchange_Point_and_Mark.shortcut=C+x C+x
Emacs/Emacs_Forward_Sentence.shortcut=A+e
Emacs/Emacs_Insert_File.shortcut=C+x i
Emacs/Emacs_Kill_Line.shortcut=C+k
Emacs/Emacs_Kill_Region.shortcut=C+w
Emacs/Emacs_Kill_Ring_Save.shortcut=A+w
Emacs/Emacs_Kill_Sentence.shortcut=A+k
Emacs/Emacs_Next_Line.shortcut=C+n
Emacs/Emacs_Open_Line.shortcut=C+o
Emacs/Emacs_Previous_Line.shortcut=C+p
Emacs/Emacs_Set_Mark.shortcut=C+SPACE
Emacs/Emacs_Set_Mark.shortcut2=ESCAPE m
Emacs/Emacs_Set_Wrap.shortcut=C+x f
Emacs/Emacs_Transpose_Chars.shortcut=C+t
Emacs/Emacs_Transpose_Lines.shortcut=C+x C+t
Emacs/Emacs_Upcase_Word.shortcut=A+u
Emacs_Fixup_Whitespace.shortcut=A+SPACE
Files/Buffer_Switcher.shortcut=C+x b
Interface/Decrease_Font_Size.shortcut=C+SUBTRACT
Interface/Increase_Font_Size.shortcut=C+ADD
Interface/Reset_TextArea.shortcut=C+x C+r
Interface/Splitpane_Grow.shortcut=C+x C+6
Properties/Create_Plugin_Announcement.shortcut=A+BACK_QUOTE
Properties/Create_Plugin_Announcement.shortcut2=C+q c
action-bar.shortcut=C+ENTER
activator.reloader.shortcut=CA+r
backspace-word.shortcut=C+BACK_SPACE
backspace.shortcut=BACK_SPACE
buffer-options.shortcut=M+p
buffertabs.toggle-vis.shortcut=CS+t
buffertabs.toggle-vis.shortcut2=CA+t
clear-register.shortcut=C+r C+l
close-buffer.shortcut=C+x k
close-docking-area.shortcut=ESCAPE ESCAPE
close-docking-area.shortcut2=C+CIRCUMFLEX
close-view.shortcut=C+x 0
closeall-except-active.shortcut=ESCAPE c
collapse-all-folds.shortcut=CA+LEFT
collapse-fold.shortcut=A+BACK_SPACE
combined-options.shortcut=A+o
combined-options.shortcut2=C+F12
console.shortcut=A+x
copy-append-string-register.shortcut=C+r C+a
copy-string-register.shortcut=C+r C+c
copy.shortcut=C+c C+c
copy.shortcut2=CS+c
cscopefinder-find-calling.shortcut=CS+r
ctags-interface-change-db-settings.shortcut=C+F11
ctags-interface-complete-from-db.shortcut=CS+SPACE
ctags-interface-preview-toggle.shortcut=C+q C+t
cut.shortcut=C+c C+x
delete-end-line.shortcut=CS+DELETE
delete-start-line.shortcut=CS+BACK_SPACE
delete-word-std.shortcut=C+DELETE
delete-word.shortcut2=A+d
delete.shortcut=DELETE
delete.shortcut2=C+d
document-end.shortcut=C+END
document-end.shortcut2=ESCAPE >
document-home.shortcut=C+HOME
document-home.shortcut2=ESCAPE <
end.shortcut=END
error-list-next-error.shortcut=F4
error-list-toggle.shortcut=CA+e
error-list-toggle.shortcut2=C+x e
exit.shortcut2=C+x C+c
expand-abbrev.shortcut=C+PERIOD
expand-abbrev.shortcut2=C+.
expand-all-folds.shortcut=CA+RIGHT
expand-fold.shortcut=AS+ENTER
expand-one-level.shortcut=A+ENTER
fastopen.shortcut=C+x C+o
find-next.shortcut=F3
find-prev.shortcut=S+F3
find.shortcut=C+r C+r
find.shortcut2=CS+f
focus-buffer-switcher.shortcut2=A+CIRCUMFLEX
format-paragraph.shortcut2=A+q
goto-line.shortcut=C+g
goto-line.shortcut2=A+g
help.shortcut=F1
home.shortcut=HOME
hypersearch.shortcut=C+PERIOD
indent-lines.shortcut=TAB
indent.shortcut=C+x C+b
insert-literal.shortcut=C+6
insert-newline-indent.shortcut=ENTER
insert-newline.shortcut=S+ENTER
insert-tab.shortcut=C+i
isabelle.complete.shortcut=A+SPACE
isabelle.control-bold.shortcut=C+c RIGHT
isabelle.control-emph.shortcut=C+c LEFT
isabelle.control-reset.shortcut=C+c BACK_SPACE
isabelle.control-sub.shortcut=C+c DOWN
isabelle.control-sup.shortcut=C+c UP
isabelle.decrease-font-size.shortcut=C+MINUS
isabelle.first-error.shortcut=CS+a
isabelle.goto-entity.shortcut=CS+d
isabelle.increase-font-size.shortcut=C+PLUS
isabelle.increase-font-size2.shortcut=C+EQUALS
isabelle.last-error.shortcut=CS+z
isabelle.message.shortcut=CS+m
isabelle.next-error.shortcut=CS+n
isabelle.prev-error.shortcut=CS+p
isabelle.select-entity.shortcut=CS+ENTER
isabelle.toggle-continuous-checking.shortcut=C+c ENTER
isabelle.toggle-node-required.shortcut=C+c SPACE
isabelle.tooltip.shortcut=CS+b
isabelle.update-state.shortcut=C+c \!
javasidekick-insert-import.shortcut=AS+i
jdiff.next-diff.shortcut=C+q C+n
jdiff.prev-diff.shortcut=C+q C+p
join-lines.shortcut=C+x C+j
last-macro.shortcut=C+m C+l
layout-load.shortcut=ESCAPE l
layout-save.shortcut=ESCAPE s
lucene.search-word-at-caret.shortcut=F6
marker-set-manager-toggle.shortcut=C+m C+t
markersets-jump-to-marker.shortcut=C+m C+g
markersets-next-marker.shortcut=C+m C+n
markersets-prev-marker.shortcut=C+m C+p
markersets-toggle-marker.shortcut=C+m C+a
match-bracket.shortcut=C+m C+m
match-bracket.shortcut2=C+m C+b
name.shortcut=A+2
navigator.back.shortcut=A+KP_LEFT
navigator.back.shortcut2=A+LEFT
navigator.combinedList.shortcut=C+x C+LEFT
navigator.forward.shortcut=A+KP_RIGHT
navigator.forward.shortcut2=A+RIGHT
navigator.forwardList.shortcut=C+x C+RIGHT
navigator.gotoLine.shortcut=C+g
new-file.shortcut=A+n
new-plain-view.shortcut=CA+n
new-view.shortcut=C+x 5 2
new-view.shortcut2=CS+N
next-bracket.shortcut2=CS+CLOSE_BRACKET
next-buffer.shortcut=C+PAGE_DOWN
next-char.shortcut=RIGHT
next-char.shortcut2=C+f
next-fold.shortcut=C+m C+f
next-line.shortcut=DOWN
next-page.shortcut=PAGE_DOWN
next-page.shortcut2=C+v
next-paragraph.shortcut=C+DOWN
next-textarea.shortcut=C+x n
next-textarea.shortcut2=C+x C+n
next-word-std.shortcut=C+RIGHT
next-word-std.shortcut2=A+f
open-file.shortcut=C+x C+f
overwrite.shortcut=INSERT
paste-previous.shortcut=A+y
paste-string-register.shortcut=C+r C+v
paste.shortcut=C+y
prev-bracket.shortcut2=CS+OPEN_BRACKET
prev-buffer.shortcut=C+PAGE_UP
prev-char.shortcut=LEFT
prev-char.shortcut2=C+b
prev-line.shortcut=UP
prev-page.shortcut=PAGE_UP
prev-page.shortcut2=A+v
prev-paragraph.shortcut=C+UP
prev-textarea.shortcut=C+x p
prev-textarea.shortcut2=C+x C+p
prev-word-std-after.shortcut=A+b
prev-word.shortcut=C+LEFT
print.shortcut=PRINTSCREEN
projectviewer_parent-group.shortcut=A+UP
projectviewer_set-active.shortcut=A+DOWN
projectviewer_wrapper_search_project.shortcut=C+F6
quick-search.shortcut=C+s
quick-search.shortcut2=C+BACK_SLASH
recent-buffer.shortcut=A+PAGE_UP
recentbufferswitcher.shortcut=C+TAB
record-macro.shortcut=C+m C+r
redo.shortcut=AS+MINUS
reload.shortcut=F5
save-all.shortcut=C+x s
save-as.shortcut=C+x C+w
save.shortcut=C+x C+s
save.shortcut2=C+x C+BACK_SLASH
scroll-and-center.shortcut=C+l
select-block.shortcut=C+OPEN_BRACKET
select-block.shortcut2=C+8
select-document-end.shortcut=CS+END
select-document-home.shortcut=CS+HOME
select-end.shortcut=S+END
select-end.shortcut2=AS+x
select-home.shortcut=S+HOME
select-home.shortcut2=AS+z
select-next-char.shortcut=S+RIGHT
select-next-char.shortcut2=AS+l
select-next-line.shortcut=S+DOWN
select-next-line.shortcut2=AS+k
select-next-page.shortcut=S+PAGE_DOWN
select-next-page.shortcut2=AS+a
select-next-paragraph.shortcut=CS+DOWN
select-next-word-std.shortcut=CS+RIGHT
select-none.shortcut=ESCAPE n
select-prev-char.shortcut=S+LEFT
select-prev-char.shortcut2=AS+j
select-prev-line.shortcut=S+UP
select-prev-page.shortcut=S+PAGE_UP
select-prev-page.shortcut2=AS+q
select-prev-paragraph.shortcut=CS+UP
select-prev-word.shortcut=CS+LEFT
set-view-title.shortcut=A+F2
shift-left.shortcut2=S+TAB
show-call-tree.shortcut=CS+t
show-context-menu.shortcut=CONTEXT_MENU
show-references.shortcut=CS+r
sidekick-next-asset.shortcut=C+j C+n
sidekick-prev-asset.shortcut=C+j C+p
sidekick-tree-toggle.shortcut=CA+s
sidekick-tree-toggle.shortcut2=C+F2
smart-end.shortcut=C+e
smart-home.shortcut=C+a
smart-open-dialog.shortcut=C+x C+o
spell-check-selection.shortcut=F7
split-horizontal.shortcut=C+2
split-horizontal.shortcut2=C+x 2
split-vertical.shortcut=C+3
stop-recording.shortcut=C+m C+s
toggle-dock-areas.shortcut=F12
toggle-dual-diff.shortcut=C+q d
toggle-full-screen.shortcut=F11
toggle-full-screen.shortcut2=S+F11
toggle-multi-select.shortcut2=C+NUMBER_SIGN
toggle-range-comment.shortcut=A+SEMICOLON
toggle-rect-select.shortcut=A+BACK_SLASH
toggle-rect-select.shortcut2=A+NUMBER_SIGN
transpose-chars.shortcut=C+t
undo.shortcut=CS+MINUS
unsplit-current.shortcut=C+0
unsplit-current.shortcut2=C+x 1
unsplit.shortcut=C+1
updater-update-default.shortcut=C+x C+u
vertical-paste-string-register.shortcut=C+r C+p
vfs.browser.delete.shortcut=DELETE
vfs.browser.home.shortcut=~
vfs.browser.new-directory.shortcut=INSERT
vfs.browser.new-file.shortcut=C+n
vfs.browser.next.shortcut=A+Right
vfs.browser.previous.shortcut=A+Left
vfs.browser.reload.shortcut=F5
vfs.browser.rename.shortcut=F2
vfs.browser.roots.shortcut=/
vfs.browser.shortcut=CA+f
vfs.browser.synchronize.shortcut=-
vfs.browser.up.shortcut=A+Up
xfind-prev.shortcut=C+q p
xfind-replace-dialog.shortcut=C+r C+f
xml-chars-to-entities.shortcut=C+x C+e
xml-match-tag.shortcut=CS+M

properties

#jEdit properties
#Mon Oct 25 21:41:54 JST 2021
Combined\ Options.height=1057
Combined\ Options.width=1848
Combined\ Options.x=-469
Combined\ Options.y=-9
Global\ Options.last=shortcuts
Global\ Options.splitter=246
Navigator.dock-position=floating
Plugin\ Options.last=isabelle-general
Plugin\ Options.splitter=163
autoReload=false
autoReloadDialog=true
autosave.directory=
buffer.maxLineLen=80
buffer.tabSize=8
bufferset.scope=global
bufferswitcher.sortBuffers=true
bufferswitcher.sortByName=true
checkFileStatus=2
close-docking-area.shortcut2.ignore=mdl_new_Emacs
closeAllConfirm=true
commando.visible.ant=true
commando.visible.diff=true
commando.visible.execute=true
commando.visible.gcc=true
commando.visible.ghc=true
commando.visible.groovy=true
commando.visible.java=true
commando.visible.javac=true
commando.visible.javacc=true
commando.visible.latex=true
commando.visible.make=true
commando.visible.mcs=true
commando.visible.perl=true
commando.visible.python=true
commando.visible.qmake=true
commando.visible.ruby=true
commando.visible.yap=true
console.bgColor=\#ffffffff
console.caretColor=\#ff000000
console.changedir.followTextArea=false
console.changedir.nodeselect=false
console.changedir.pvchange=false
console.clearBeforeExecute=false
console.errorColor=\#ffff0000
console.errors.list=
console.height=605
console.infoColor=\#ff009600
console.plainColor=\#ff000000
console.processrunner.mergeError=true
console.processrunner.showExitStatus=true
console.rememberCWD=false
console.shell=System
console.shell.default=System
console.shell.pathdirs=
console.shell.pathdirs.append=false
console.shell.prefix=osdefault
console.shell.system.wrapBrackets=false
console.warningColor=\#ffffa800
console.width=1174
console.x=50
console.y=50
delete-line.shortcut.ignore=mdl_new_Emacs
end.shortcut.ignore=mdl_new_Emacs
error-list.autoRefocusTextArea=false
error-list.dock-position=floating
error-list.errorColor=\#ffff0000
error-list.filenameFilter=
error-list.height=243
error-list.isInclusionFilter=false
error-list.showIconsInGutter=false
error-list.showUnderlines=false
error-list.warningColor=\#ffffa800
error-list.width=640
error-list.x=50
error-list.y=50
expand-abbrev.shortcut2.ignore=mdl_new_Emacs
firewall.host=
firewall.nonProxyHosts=
firewall.password=
firewall.port=
firewall.socks.enabled=false
firewall.socks.host=
firewall.socks.port=
firewall.user=
fullScreenIncludesToolbar=false
gatchan.highlight.alpha=50
gatchan.highlight.caretHighlight=false
gatchan.highlight.caretHighlight.color=\#ffffff66
gatchan.highlight.caretHighlight.entireWord=false
gatchan.highlight.caretHighlight.ignoreCase=false
gatchan.highlight.caretHighlight.onlyWords=false
gatchan.highlight.caretHighlight.whitespace=false
gatchan.highlight.colorsenabled=false
gatchan.highlight.cycleColor=false
gatchan.highlight.defaultColor=\#ff66ffff
gatchan.highlight.hyperSearchResults=false
gatchan.highlight.layer=2147483647
gatchan.highlight.overview.color=\#ff000000
gatchan.highlight.selectionHighlight=false
gatchan.highlight.selectionHighlight.color=\#ffffff66
gatchan.highlight.selectionHighlight.entireWord=false
gatchan.highlight.selectionHighlight.ignoreCase=false
gatchan.highlight.selectionHighlight.minLength=0
gatchan.highlight.square.color=\#ffff0000
helpviewer.extendedState=0
helpviewer.height=960
helpviewer.splitter=250
helpviewer.width=1413
helpviewer.x=1606
helpviewer.y=978
hideOpen=true
highlighter-panel.dock-position=floating
home.shortcut.ignore=mdl_new_Emacs
hypersearch-results.dock-position=floating
icon-theme=tango
insert-newline-indent.shortcut.ignore=mdl_Emacs,mdl_new_Emacs
insert-newline.shortcut.ignore=mdl_new_Emacs
isabelle-debugger.height=548
isabelle-debugger.width=1198
isabelle-debugger.x=50
isabelle-debugger.y=50
isabelle-graphview.dock-position=floating
isabelle-info.dock-position=floating
isabelle-info.height=664
isabelle-info.width=861
isabelle-info.x=-865
isabelle-info.y=29
isabelle-monitor.dock-position=floating
isabelle-monitor.height=263
isabelle-monitor.width=500
isabelle-monitor.x=50
isabelle-monitor.y=50
isabelle-protocol.dock-position=floating
isabelle-protocol.height=259
isabelle-protocol.width=500
isabelle-protocol.x=50
isabelle-protocol.y=50
isabelle-raw-output.dock-position=floating
isabelle-syslog.dock-position=floating
isabelle-syslog.height=263
isabelle-syslog.width=500
isabelle-syslog.x=50
isabelle-syslog.y=50
isabelle-timing.dock-position=floating
isabelle.complete.shortcut2.ignore=mdl_Emacs,mdl_new_Emacs
isabelle.control-bold.shortcut.ignore=mdl_new_Emacs
isabelle.control-emph.shortcut.ignore=mdl_new_Emacs
isabelle.control-reset.shortcut.ignore=mdl_new_Emacs
isabelle.control-sub.shortcut.ignore=mdl_new_Emacs
isabelle.control-sup.shortcut.ignore=mdl_new_Emacs
isabelle.decrease-font-size.shortcut2.ignore=mdl_Emacs,mdl_new_Emacs
isabelle.increase-font-size.shortcut2.ignore=mdl_Emacs,mdl_new_Emacs
isabelle.last-error.shortcut.ignore=mdl_Emacs
isabelle.newline.shortcut.ignore=mdl_Emacs,mdl_new_Emacs
isabelle.toggle-continuous-checking.shortcut.ignore=mdl_new_Emacs
isabelle.toggle-node-required.shortcut.ignore=mdl_new_Emacs
isabelle.update-state.shortcut.ignore=mdl_new_Emacs
keymap.current=mdl_new_Emacs
lang.current=en
line-end.shortcut.ignore=mdl_new_Emacs
line-home.shortcut.ignore=mdl_new_Emacs
log-viewer.dock-position=floating
log-viewer.height=774
log-viewer.width=1220
log-viewer.x=50
log-viewer.y=50
macro.buffer_switcher.display-help=0
match-bracket.shortcut2.ignore=mdl_new_Emacs
migration.step.checkFileStatus=true
mode.isabelle.compile.custom=
mode.isabelle.compile.use-custom=false
mode.isabelle.run.custom=
mode.isabelle.run.use-custom=false
navigator.groupByFile=false
navigator.groupByLine=false
navigator.listSize=10
navigator.maxStackSize=512
navigator.scope=1
navigator.showCaretOffset=true
navigator.showLineNumber=true
navigator.showLineText=true
navigator.showLineTextSyntax=true
navigator.showPath=true
navigator.showStripes=true
navigator.useNavigatorGoToLine=false
next-bracket.shortcut2.ignore=mdl_Emacs,mdl_new_Emacs
optional.last.tab=0
options.abbrevs.combobox.index=0
options.docking.autoLoadModeLayout=false
options.docking.autoSaveModeLayout=false
options.height=1063
options.last=plugin-manager
options.mode.settings.height=214
options.mode.settings.last=sidekick.mode
options.mode.settings.splitter=93
options.mode.settings.width=681
options.mode.settings.x=50
options.mode.settings.y=50
options.sessions.switcher.maxListSize=8
options.shortcuts.select.index=10
options.splitter=187
options.width=1325
options.x=-347
options.y=40
plugin-manager.disable-obsolete=true
plugin-manager.extendedState=0
plugin-manager.height=1162
plugin-manager.list-cache.minutes=10
plugin-manager.mirror.cached-id=NONE
plugin-manager.width=964
plugin-manager.x=50
plugin-manager.y=50
plugin-options.height=972
plugin-options.last=toggle-comments
plugin-options.splitter=147
plugin-options.width=1095
plugin-options.x=50
plugin-options.y=50
prev-bracket.shortcut2.ignore=mdl_Emacs,mdl_new_Emacs
propdialog.height=245
propdialog.width=391
propdialog.x=50
propdialog.y=50
quicknotepad.dock-position=floating
recent-buffer.shortcut2.ignore=mdl_new_Emacs
resetUndoOnSave=false
restore=true
restore.splits=true
saveAsUsesFSB=false
search.beanshell.toggle=false
search.find.value=word_of_int
search.hypersearch.toggle=false
search.ignoreCase.toggle=true
search.regexp.toggle=false
search.replace.value=
search.skipBinary.toggle=true
search.skipHidden.toggle=true
search.wholeWord.toggle=false
search.wrap.toggle=false
search.x=50
search.y=50
sessions.currentSession=
sessions.switcher.askSave=false
sessions.switcher.autoSave=true
sessions.switcher.changeFSBDirectory=false
sessions.switcher.closeAll=true
sessions.switcher.showInsideBufferList=false
sessions.switcher.showJEditToolBar=false
sessions.switcher.showSessionNameInTitleBar=true
sessions.switcher.showSessionPrefixInTitleBar=true
sessions.switcher.showTitle=true
sessions.switcher.showToolBar=false
sidekick-tree.auto-expand-tree-depth=1
sidekick.filter-visible-assets=false
sidekick.scrollToVisible=false
sidekick.showStatusWindow=false
sidekick.showToolTips=false
sidekick.splitter.location=1186
status.errorWidget.height=499
status.errorWidget.width=1183
status.errorWidget.x=50
status.errorWidget.y=50
suppressNotSavedConfirmUntitled=false
task-monitor.dock-position=floating
task-monitor.height=454
task-monitor.width=453
task-monitor.x=50
task-monitor.y=50
useMD5forDirtyCalculation=false
vfs.browser.colors.0.color=\#ffa0a0a0
vfs.browser.colors.1.color=\#ff660066
vfs.browser.colors.2.color=\#ff666600
vfs.browser.colors.3.color=\#ff009933
vfs.browser.colors.4.color=\#ff990000
vfs.browser.colors.5.color=\#ff003366
vfs.browser.colors.6.color=\#ff006666
vfs.browser.colors.7.color=\#ff330066
vfs.browser.colors.8.color=\#ff666666
vfs.browser.dialog.height=802
vfs.browser.dialog.width=1210
vfs.browser.dialog.x=55
vfs.browser.dialog.y=-274
vfs.browser.last-filter=*[^~\#]
vfs.browser.modified.width=100
vfs.browser.path.tmp=
vfs.browser.size.width=100
vfs.browser.status.width=100
vfs.browser.type.width=100
view-markers.dock-position=floating
view-registers.dock-position=floating
view.bgColor=\#ffffffff
view.caretBlink=true
view.caretColor=\#ffff0000
view.eolMarkerColor=\#ffff6633
view.fgColor=\#ff000000
view.fontsize=14
view.gutter.bgColor=\#ffdbdbdb
view.gutter.currentLineColor=\#ffff0033
view.gutter.fgColor=\#ff000000
view.gutter.focusBorderColor=\#ff990099
view.gutter.foldColor=\#ff838383
view.gutter.highlightColor=\#ff990066
view.gutter.lineNumbers=true
view.gutter.markerColor=\#ffccffcc
view.gutter.noFocusBorderColor=\#ffffffff
view.gutter.selectionAreaBgColor=\#ffdbdbdb
view.gutter.structureHighlightColor=\#ff666699
view.height=1550
view.lineHighlightColor=\#ffffffe0
view.multipleSelectionColor=\#ffccffcc
view.pageBreaksColor=\#ff8080ff
view.search.hypersearch.toggle=false
view.selectionColor=\#ffccccff
view.selectionFg=false
view.selectionFgColor=\#ff000000
view.showToolbar=false
view.status.background=\#ffffffff
view.status.foreground=\#ff000000
view.status.memory.background=\#f666699a
view.status.memory.foreground=\#ffcccccc
view.status.show-caret-bufferlength=true
view.status.show-caret-dot=true
view.status.show-caret-linenumber=true
view.status.show-caret-offset=true
view.status.show-caret-virtual=true
view.structureHighlightColor=\#ff000000
view.style.comment1=color\:\#ffcc0000
view.style.comment2=color\:\#ffff8400
view.style.comment3=color\:\#ff6600cc
view.style.comment4=color\:\#ffcc6600
view.style.digit=color\:\#ffff0000
view.style.foldLine.0=color\:\#ff000000 bgColor\:\#ffdafeda style\:b
view.style.foldLine.1=color\:\#ff000000 bgColor\:\#fffff0cc style\:b
view.style.foldLine.2=color\:\#ff000000 bgColor\:\#ffe7e7ff style\:b
view.style.foldLine.3=color\:\#ff000000 bgColor\:\#ffffe0f0 style\:b
view.style.function=color\:\#ff9966ff
view.style.invalid=color\:\#ffff0066 bgColor\:\#ffffffcc
view.style.keyword1=color\:\#ff006699 style\:b
view.style.keyword2=color\:\#ff009966 style\:b
view.style.keyword3=color\:\#ff0099ff style\:b
view.style.keyword4=color\:\#ff66ccff style\:b
view.style.label=color\:\#ff02b902
view.style.literal1=color\:\#ffff00cc
view.style.literal2=color\:\#ffcc00cc
view.style.literal3=color\:\#ff9900cc
view.style.literal4=color\:\#ff6600cc
view.style.markup=color\:\#ff0000ff
view.style.operator=color\:\#ff000000 style\:b
view.toolbar.floatable=false
view.width=1369
view.wrapGuideColor=\#ff8080ff
view.x=1039
view.y=547
white-space.block-color=\#ff000000
white-space.fold-color=\#ffcccccc
white-space.remove-trailing-white-space=false
white-space.show-space-default=true
white-space.show-tab-default=true
white-space.show-trailing-space-default=true
white-space.show-trailing-tab-default=true
white-space.space-color=\#ff6699cc
white-space.tab-color=\#ff336699
white-space.whitespace-color=\#ffff6600