Changeset 1526 for trunk/src/org/expeditee/gui/Browser.java
- Timestamp:
- 05/06/20 10:52:22 (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/expeditee/gui/Browser.java
r1521 r1526 48 48 import org.expeditee.items.ItemUtils; 49 49 import org.expeditee.items.Text; 50 import org.expeditee.items.widgets.JfxBrowser; 50 51 import org.expeditee.items.widgets.WidgetCacheManager; 51 52 import org.expeditee.network.FrameShare; … … 57 58 import org.expeditee.taskmanagement.SaveStateChangedEvent; 58 59 import org.expeditee.taskmanagement.SaveStateChangedEventListener; 60 61 import javafx.application.Platform; 59 62 60 63 /** … … 428 431 FrameShare.getInstance().finalise(); 429 432 } 430 433 434 // Shut down the Java FX Platform. 435 if (JfxBrowser.JFXBROWSER_IN_USE) { 436 MessageBay.displayMessage("Detected use of JFX Browser. Stopping Java FX Platform..."); 437 Platform.exit(); 438 } 439 431 440 MessageBay.displayMessage("System exited"); 432 441 … … 441 450 File file = new File(FrameIO.MESSAGES_PATH + "messages"); 442 451 file.mkdirs(); 443 452 444 453 Browser._hasExited = true; 445 454
Note:
See TracChangeset
for help on using the changeset viewer.