← Back to branch summary

~tapaal-contributor/tapaal/bug928936

« back to all changes in this revision

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

  • Committer: Mathias Andersen
  • Date: 2012-02-16 11:09:30 UTC
  • Revision ID: mande09@student.aau.dk-20120216110930-exat4ur61varcqpq
moved constant to createGui

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/CreateGui.java
25
25
        private static boolean showZeroToInfinityIntervals = true;
26
26
 
27
27
        public static String imgPath, userPath; // useful for stuff
 
28
        
 
29
        public static Integer MaximalNumberOfTokensAllowed = new Integer(9999);
28
30
 
29
31
        public static void init() {
30
32
                imgPath = "resources/Images/";