Increased poll time on reload to 1s

Browse Source

Added boolean reloadEnabled which can be set to false to disable
reloading (currently always true)
Editted checkModified (called if and only if a close is requested) to
check if the close will be successful (i.e. if it will return true)
Added code in checkModified to trigger the stopping of the reload thread
when this editor is closed

...

This commit is contained in:

patrick

2014-07-31 09:54:59 -04:00

parent 136845ebf7

commit 77d6d683ae

1 changed files with 526 additions and 647 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

1173

app/src/processing/app/Editor.java

File diff suppressed because it is too large Load Diff