← Back to branch summary

~tapaal-contributor/tapaal/notes-hides-namelabels-1848947

« back to all changes in this revision

Viewing changes to src/pipe/gui/GuiFrame.java

  • Committer: Jiri Srba
  • Date: 2013-03-07 14:30:30 UTC
  • mto: (746.2.11 nativeFileDialog)
  • mto: This revision was merged to the branch mainline in revision 756.
  • Revision ID: srba@cs.aau.dk-20130307143030-4mb8yjfo7fw1vpgd
upated the Makefile to work for Java 7, removed unused import from GuiFrame.java and added two scripts for running tapaal (on Mac) on Java 6 and Java 7

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/GuiFrame.java
72
72
import net.tapaal.Preferences;
73
73
import org.jdesktop.swingx.MultiSplitLayout;
74
74
 
75
 
import com.sun.corba.se.spi.extension.ZeroPortPolicy;
 
75
 
76
76
 
77
77
import net.tapaal.TAPAAL;
78
78
 
203
203
                        setLookAndFeel();
204
204
                        UIManager.put("OptionPane.informationIcon", ResourceManager.infoIcon());
205
205
 
206
 
                        // 2010-05-07, Kenneth Yrke Jørgensen:
 
206
                        // 2010-05-07, Kenneth Yrke J��rgensen:
207
207
                        // If the native look and feel is GTK replace the useless open
208
208
                        // dialog,
209
209
                        // with a java-reimplementation.