[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-2712) Add "restore default palette" feature to Palette.