#329 Export Pane Contents to Clipboard
It would be useful to export the contents of the "Find All", "Bookmarks", "Breakpoints", and other RegionsTreePanels to the clipboard in a more readable format.
Currently, you can select one or more tree nodes and copy them into the clipboard (Ctrl-C or Command-C), but the output isn't structured and is partially HTML.
Example:
/Users/Shared/drjava/drjava/src/edu/rice/cs/drjava/ui/MainFrame.java
<html>1745: _completeJavaAPICheckbox.<font color=#ff0000>setMnemonic</font>('j');</html>
<html>6053: fileMenu.<font color=#ff0000>setMnemonic</font>(KeyEvent.VK_F);</html>
<html>6097: editMenu.<font color=#ff0000>setMnemonic</font>(KeyEvent.VK_E);</html>
<html>6151: toolsMenu.<font color=#ff0000>setMnemonic</font>(KeyEvent.VK_T);</html>
<html>6279: projectMenu.<font color=#ff0000>setMnemonic</font>(KeyEvent.VK_P);</html>
<html>6313: debugMenu.<font color=#ff0000>setMnemonic</font>(KeyEvent.VK_D);</html>
<html>6372: languageLevelMenu.<font color=#ff0000>setMnemonic</font>(KeyEvent.VK_L);</html>
<html>6424: helpMenu.<font color=#ff0000>setMnemonic</font>(KeyEvent.VK_H);</html>
<html>9626: _autoImportPackageCheckbox.<font color=#ff0000>setMnemonic</font>('p');</html>
/Users/Shared/drjava/drjava/src/edu/rice/cs/util/swing/ScrollableListSelectionDialog.java
<html>539: selectAllButton.<font color=#ff0000>setMnemonic</font>(KeyEvent.VK_A);</html>
<html>544: selectNoneButton.<font color=#ff0000>setMnemonic</font>(KeyEvent.VK_N);</html>
This could be changed to something as simple as:
/Users/Shared/drjava/drjava/src/edu/rice/cs/drjava/ui/MainFrame.java
1745: _completeJavaAPICheckbox.setMnemonic('j');
6053: fileMenu.setMnemonic(KeyEvent.VK_F);
6097: editMenu.setMnemonic(KeyEvent.VK_E);
6151: toolsMenu.setMnemonic(KeyEvent.VK_T);
6279: projectMenu.setMnemonic(KeyEvent.VK_P);
6313: debugMenu.setMnemonic(KeyEvent.VK_D);
6372: languageLevelMenu.setMnemonic(KeyEvent.VK_L);
6424: helpMenu.setMnemonic(KeyEvent.VK_H);
9626: _autoImportPackageCheckbox.setMnemonic('p');
/Users/Shared/drjava/drjava/src/edu/rice/cs/util/swing/ScrollableListSelectionDialog.java
539: selectAllButton.setMnemonic(KeyEvent.VK_A);
544: selectNoneButton.setMnemonic(KeyEvent.VK_N);
