Menu

#3 Save options in file

open
nobody
None
5
2006-02-15
2006-02-15
Anonymous
No

Saves the options selected on the screen to
$HOME/.tuxmathrc when they are set, and loads them on
startup.

Command line options take precedence over the saved
options.

Tested on Linux, not on Windows but I've made an attempt.

Discussion

  • Nobody/Anonymous

    Patch against current CVS

     
  • Andrew

    Andrew - 2006-02-15

    Logged In: YES
    user_id=919162

    I wasn't logged in properly - I'm amcguinn (
    a.mcguinness@ntlworld.com )