#219 Reload configuration file

[Simon Mikkelsen]

In my company, we have made a simple script, which creates a new configuration with tabs based what the developer has checked out from CVS.

However, it is nessesary to restart Console, and thus all open sessions, to get the changes.

For this reason, it will be very helpfull, if it is possible to reload the configuration file. Basically just do the same, as if you had opened the settings dialog and set all the values to what is in the file.

A really nice extension is to make a command line switch which does this, so it can be done automatically by the script.

[Kirill]

Logged In: YES
user_id=1664805
Originator: NO

Simon,

There is a way to do that right now (as of b138). Seems like the following sequence does what you're asking:
- start the Console;
- modify console.xml [by adding a new <tab> element];
- open the Settings dialog;
- click OK.

It seems like the new tab will appear in the New Tab menu. Opening and OK'ing the Settings dialog seems to work for:
- adding and removing tabs [from the New Tab menu];
- changing the size attribute of <appearance><font> element;
- changing the init_dir attribute of <tabs><tab><console> element.

YMMV

--
Kirill.