Thomas Martitz 8f280ed884 New --read-only commandline option
This adds a new commandline option --read-only (or -r). It's implemented
according to the behavior agreed on on the mailing list:

--read-only applies to all files on the command line
irrespective of positioning and has no effect on any other files
opened by session or menu (...)

Current behaviour on attempting to re-open a file with different
read-only status is that nothing happens, the already open
file is raised but not changed. (...)
2011-11-17 16:41:51 +01:00
..
2011-10-01 10:43:03 +00:00
2011-10-02 13:20:09 +00:00
2011-11-17 16:41:51 +01:00
2011-11-17 16:41:51 +01:00
2010-09-22 16:33:38 +00:00
2010-09-22 16:33:38 +00:00