diff options
Diffstat (limited to 'development/scite/config/SciTEUser.properties')
| -rw-r--r-- | development/scite/config/SciTEUser.properties | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/development/scite/config/SciTEUser.properties b/development/scite/config/SciTEUser.properties new file mode 100644 index 0000000000..23477b7aff --- /dev/null +++ b/development/scite/config/SciTEUser.properties @@ -0,0 +1,44 @@ +if PLAT_GTK + position.left=0 + position.top=0 +position.width=1015 +position.height=717 + +minimize.to.tray=1 +toolbar.visible=1 +horizontal.scrollbar=1 +horizontal.scroll.width=700 + +tabbar.visible=1 +statusbar.visible=1 +pathbar.visible=1 +check.if.already.open=1 + +tabsize=3 +indent.size=3 + +autocompleteword.automatic=1 + +# if you want to be able to edit Unicode files, uncomment this: +#code.page=65001 +#LC_CTYPE=en_US.UTF-8 + +if PLAT_GTK + font.base=font:!Bitstream Vera Sans Mono,size:12 + # font.base=font:Arial,size:10 + font.small=$(font.base) + font.comment=$(font.base) + font.code.comment.box=$(font.comment) + font.code.comment.line=$(font.comment) + font.code.comment.doc=$(font.comment) + font.text=$(font.base) + font.text.comment=$(font.base) + font.embedded.base=$(font.base) + font.embedded.comment=$(font.base) + font.monospace=$(font.base) + font.vbs=$(font.base) +font.js=$(font.comment) + +comment.block.hypertext=//~ +comment.block.sql=--~ +xml.auto.close.tags=1 |