Author: jflesch
Date: 2007-06-27 14:53:29 +0000 (Wed, 27 Jun 2007)
New Revision: 13780
Modified:
trunk/apps/Thaw/src/thaw/plugins/TrayIcon.java
trunk/apps/Thaw/src/thaw/plugins/index/IndexManagementHelper.java
Log:
Add a JScrollPane around the text area allowing to add specific keys to an index
Modified: trunk/apps/Thaw/src/thaw/plugins/TrayIcon.java
===================================================================
--- trunk/apps/Thaw/src/thaw/plugins/TrayIcon.java 2007-06-27 13:46:52 UTC
(rev 13779)
+++ trunk/apps/Thaw/src/thaw/plugins/TrayIcon.java 2007-06-27 14:53:29 UTC
(rev 13780)
@@ -92,6 +92,9 @@
boolean v = !core.getMainWindow().isVisible();
core.getMainWindow().setVisible(v);
+
+ if (v)
+ core.getMainWindow().getMainFrame().toFront();
}
Modified: trunk/apps/Thaw/src/thaw/plugins/index/IndexManagementHelper.java
===================================================================
--- trunk/apps/Thaw/src/thaw/plugins/index/IndexManagementHelper.java
2007-06-27 13:46:52 UTC (rev 13779)
+++ trunk/apps/Thaw/src/thaw/plugins/index/IndexManagementHelper.java
2007-06-27 14:53:29 UTC (rev 13780)
@@ -1367,7 +1367,7 @@
frame.getContentPane().setLayout(new BorderLayout());
frame.getContentPane().add(header, BorderLayout.NORTH);
- frame.getContentPane().add(textArea,
BorderLayout.CENTER);
+ frame.getContentPane().add(new JScrollPane(textArea),
BorderLayout.CENTER);
buttonPanel.setLayout(new GridLayout(1, 2));
buttonPanel.add(okButton);