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