Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#282 "default" option for the metapost terminal

open
nobody
None
2
2006-08-24
2006-08-24
Mojca Miklavec
No

This tiny patch adds the option "default" to metapost
terminal (some irrelevant changes in spaces/tabs were
made on purpose).

It would be great if the terminal could be also called
"set term metapost", not only "mp". Are there any
strong objections against that?

Discussion

  • Mojca Miklavec
    Mojca Miklavec
    2006-08-24

    adds "default" terminal option

     
    Attachments
  • Mojca Miklavec
    Mojca Miklavec
    2006-08-24

    • priority: 5 --> 2