|
From: SourceForge.net <no...@so...> - 2008-06-24 22:39:10
|
Feature Requests item #2002096, was opened at 2008-06-24 17:39 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=438938&aid=2002096&group_id=44253 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: User interface Group: Medium (< 1 pair-month) Status: Open Priority: 5 Private: No Submitted By: Mathias Ricken (mgricken) Assigned to: Nobody/Anonymous (nobody) Summary: Export Pane Contents to Clipboard Initial Comment: 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); ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=438938&aid=2002096&group_id=44253 |