Download jEdit 4.1 User's Guide
Transcript
Chapter 1. Starting jEdit Option - - Description Specifies the end of the command line switches. Further parameters are treated as file names, even if they begin with a dash. Can be used to open files whose names start with a dash, and so on. 5
Related documents