+ class RecentlyOpened\r
+ extends JPanel\r
+ {\r
+ JList list;\r
+ public RecentlyOpened()\r
+ {\r
+ String historyItems = jalview.bin.Cache.getProperty("RECENT_FILE");\r
+ StringTokenizer st;\r
+ Vector recent = new Vector();\r
+\r
+ if (historyItems != null)\r
+ {\r
+ st = new StringTokenizer(historyItems, "\t");\r
+\r
+ while (st.hasMoreTokens())\r
+ {\r
+ recent.addElement(st.nextElement());\r
+ }\r
+ }\r
+\r
+ list = new JList(recent);\r
+\r
+ DefaultListCellRenderer dlcr = new DefaultListCellRenderer();\r
+ dlcr.setHorizontalAlignment(DefaultListCellRenderer.RIGHT);\r
+ list.setCellRenderer(dlcr);\r
+\r
+ list.addMouseListener(new MouseAdapter()\r
+ {\r
+ public void mousePressed(MouseEvent evt)\r
+ {\r
+ recentListSelectionChanged(list.getSelectedValue().toString());\r
+ }\r
+ });\r
+\r
+ this.setBorder(new javax.swing.border.TitledBorder("Recently Opened"));\r
+\r
+ final JScrollPane scroller = new JScrollPane(list);\r
+ scroller.setPreferredSize(new Dimension(130, 200));\r
+ this.add(scroller);\r
+\r
+ javax.swing.SwingUtilities.invokeLater(new Runnable()\r
+ {\r
+ public void run()\r
+ {\r
+ scroller.getHorizontalScrollBar().setValue(\r
+ scroller.getHorizontalScrollBar().getMaximum());\r
+ }\r
+ });\r
+\r
+ }\r
+\r
+ }\r
+}\r