diff options
author | Hans Hagen <pragma@wxs.nl> | 2019-08-02 21:03:52 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2019-08-02 21:03:52 +0200 |
commit | 3668eb2ecc0f7dcc6c44fd1e971cbe37fa010fd6 (patch) | |
tree | 1bb01a58b6f193a42fc99189e5437313650ee39f /context/data/scite/context/scite-context-data-metapost.properties | |
parent | 1873d112b56f49e40ece29916ede51933412bca8 (diff) | |
download | context-3668eb2ecc0f7dcc6c44fd1e971cbe37fa010fd6.tar.gz |
2019-08-02 19:47:00
Diffstat (limited to 'context/data/scite/context/scite-context-data-metapost.properties')
-rw-r--r-- | context/data/scite/context/scite-context-data-metapost.properties | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/context/data/scite/context/scite-context-data-metapost.properties b/context/data/scite/context/scite-context-data-metapost.properties index 31e14f2dd..32863ed08 100644 --- a/context/data/scite/context/scite-context-data-metapost.properties +++ b/context/data/scite/context/scite-context-data-metapost.properties @@ -116,7 +116,8 @@ greycolor graycolor dashpart penpart stroked \ filled textual clipped bounded pathpart \ expandafter minute hour outputformat outputtemplate \ filenametemplate fontmapfile fontmapline fontpart fontsize \ -glyph restoreclipcolor troffmode runscript maketext +glyph restoreclipcolor troffmode runscript maketext \ +numbersystem keywordclass.metapost.shortcuts=\ .. ... -- --- \ |