DrJava Legacy SVN Repository

The rationale for this version is the following:

- If it's just checkboxes (or only checkboxes, buttons, and labels),
like in Notifications or Compiler Options, put the label on the right
side and use both columns, i.e. both the column used for "left labels"
and the column used for the actual components.
- If it's checkboxes mixed with other components, put the label on the
left and word-wrap if the description gets too long.

Even though checkboxes with labels on the left side are non-standard,
having them on the left side saves a lot of space and fits into the
scheme of our dialog.

M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
M src/edu/rice/cs/drjava/ui/config/ConfigPanel.java
M src/edu/rice/cs/drjava/ui/config/BooleanOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/OptionComponent.java
M src/edu/rice/cs/util/StringOps.java