diff options
author | Marius <mariausol@gmail.com> | 2011-09-13 00:00:18 +0300 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2011-09-13 00:00:18 +0300 |
commit | 79f4f6dcc36ebeec36914f7dbcbf35f0f7a8fcae (patch) | |
tree | 6a3a868eced8009fe71dc9432faa802ec2d55bcb /context/data/scite/scite-pragma.properties | |
parent | 2161e9a15e74493c44c105515a51ca691f0cd93c (diff) | |
download | context-79f4f6dcc36ebeec36914f7dbcbf35f0f7a8fcae.tar.gz |
beta 2011.09.12 22:49
Diffstat (limited to 'context/data/scite/scite-pragma.properties')
-rw-r--r-- | context/data/scite/scite-pragma.properties | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/context/data/scite/scite-pragma.properties b/context/data/scite/scite-pragma.properties new file mode 100644 index 000000000..abc149f12 --- /dev/null +++ b/context/data/scite/scite-pragma.properties @@ -0,0 +1,35 @@ +# file : pragma.properties +# version : 18 august 2003 +# author : Hans Hagen / PRAGMA ADE / www.pragma-ade.com + +# save.backup.first=1 +# save.backup.once=1 +# save.backup.suffix=.bak + +# Editor: screen + +position.left=25 +position.top=25 +position.width=1550 +position.height=1100 +output.horizontal.size=250 +output.vertical.size=100 + +# Editor: filters + +open.filter=\ +All Files (*.*)|*.*|\ +$(filter.context)\ +$(filter.metafun)\ +$(filter.example)\ +$(filter.lua)\ +$(filter.text) + +# Editor: menus + +menu.language=\ +TeX|tex||\ +Metapost|metapost||\ +XML|xml||\ +Lua|lua||\ +Text|txt|| |