1# file : pragma.properties 2# version : 18 august 2003 3# author : Hans Hagen / PRAGMA ADE / www.pragma-ade.com 4 5# save.backup.first=1 6# save.backup.once=1 7# save.backup.suffix=.bak 8 9# Editor: screen 10 11position.left=0 12position.top=0 13position.width=1920 14position.height=1160 15 16output.horizontal.size=250 17output.vertical.size=100 18 19# Editor: filters 20 21open.filter=\ 22All Files (*.*)|*.*|\ 23$(filter.context)\ 24$(filter.metafun)\ 25$(filter.example)\ 26$(filter.lua)\ 27$(filter.text)\ 28$(filter.pdf)\ 29$(filter.cpp)\ 30$(filter.cweb)\ 31$(filter.bibtex)\ 32$(filter.json)\ 33$(filter.none) 34 35# Editor: menus 36 37menu.language=\ 38TeX|tex||\ 39Metapost|metapost||\ 40XML|xml||\ 41Lua|lua||\ 42Text|txt||\ 43PDF|pdf||\ 44CWeb|cweb||\ 45Cpp|cpp||\ 46BibTeX|bibtex||\ 47JSON|json||\ 48NONE|none|| 49