Tracker »

Issue 14 – Open files for editing from command-line

: GUI
: Unspecified
: Enhancement
: High
: 0
: RESOLVED
: IMPLEMENTED
: 5.6
It should also be possible to open several files at once, with respect to #13.
Raising priority.
Raising priority
Implemented.