diff options
| author | Hans Hagen <pragma@wxs.nl> | 2016-10-12 20:30:59 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-10-12 20:30:59 +0200 |
| commit | 1964c078d21c5f1d19a84fa6ef5c038f8ee80652 (patch) | |
| tree | 833b3c9c678bcc7043560ab2e83daeeb395d6d7c /context/data/scite/context/scite-context.properties | |
| parent | 236690a6367b25187d37013e1e7fc196c5c44eb8 (diff) | |
| download | context-1964c078d21c5f1d19a84fa6ef5c038f8ee80652.tar.gz | |
2016-10-12 17:32:00
Diffstat (limited to 'context/data/scite/context/scite-context.properties')
| -rw-r--r-- | context/data/scite/context/scite-context.properties | 24 |
1 files changed, 22 insertions, 2 deletions
diff --git a/context/data/scite/context/scite-context.properties b/context/data/scite/context/scite-context.properties index d034c5e7f..87558d0e3 100644 --- a/context/data/scite/context/scite-context.properties +++ b/context/data/scite/context/scite-context.properties @@ -53,6 +53,11 @@ textwrapper.length=68 output.wrap=0 +find.use.strip=1 +replace.use.strip=1 + +open.dialog.in.file.directory=1 + # xml.auto.close.tags=1 # ConTeXt: suffixes (really needed) @@ -63,6 +68,21 @@ file.patterns.context=*.tex;*.mkii;*.mkiv;*.mkvi;*.mkix;*.mkxi; open.suffix.$(file.patterns.context)=.tex +#~ api.$(file.patterns.context)=$(SciteDefaultHome)/context/scite-context.api + +# starttext +# stoptext +# setuptest[foo=,bar=] + +#~ autocompleteword.automatic=0 +#~ autocomplete.choose.single=0 +#~ autocomplete.context.start.characters=\ + +#~ calltip.context.word.characters= +#~ calltip.context.parameters.start=[ +#~ calltip.context.parameters.end=] +#~ calltip.context.parameters.separators=, + # Example : patterns file.patterns.xml= @@ -516,8 +536,8 @@ source.files=$(file.patterns.context);$(file.patterns.metafun);$(file.patterns.e if PLAT_WIN print.colour.mode=1 print.margins=750,750,750,750 - print.header.format=$(FileNameExt) — Printed on $(CurrentDate), $(CurrentTime) — Page $(CurrentPage) - print.footer.format=$(FilePath) — File date: $(FileDate) — File time: $(FileTime) + print.header.format=$(FileNameExt) | Printed on $(CurrentDate), $(CurrentTime) | Page $(CurrentPage) + print.footer.format=$(FilePath) | File date: $(FileDate) | File time: $(FileTime) print.header.style=font:Dejavu Sans Mono,size:10 print.footer.style=font:Dejavu Sans Mono,size:10 |