Changeset 1228


Ignore:
Timestamp:
Jul 17, 2011, 6:35:49 PM (6 years ago)
Author:
stefan
Message:
 
Location:
trunk
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • trunk/CHANGELOG

    r1223 r1228  
    1818  - the code helper popups now allow for the use of the mouse
    1919  - improved parsing of latex output
     20  - allow to set interval for svn status checks (via check_for_svn_updates.interval in global.properties)
    2021* bug fixes:
    2122  - "Replace All" button is no longer disabled if no occurrence is selected
  • trunk/src/jlatexeditor/gproperties/GProperties.java

    r1175 r1228  
    9292    properties.addEntry(new Comment(" Check for svn updates in the background"));
    9393    properties.addEntry(new Def("check_for_svn_updates", BOOLEAN, "true"));
     94    properties.addEntry(new Comment(" Interval in which JLE checks for svn updates (in seconds)"));
     95    properties.addEntry(new Def("check_for_svn_updates.interval", INT_GT_0, "120"));
    9496    properties.addEntry(new Comment(" Show new features after upgrade"));
    9597    properties.addEntry(new Def("show_new_features", BOOLEAN, "true"));
  • trunk/src/jlatexeditor/gui/StatusBar.java

    r1048 r1228  
    176176
    177177          synchronized (this) {
    178             wait(120000);
     178            wait(GProperties.getInt("check_for_svn_updates.interval") * 1000);
    179179          }
    180180        }
Note: See TracChangeset for help on using the changeset viewer.