Changeset 730 for trunk/src/org/expeditee/gui/DisplayIO.java
- Timestamp:
- 01/21/14 14:12:16 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/expeditee/gui/DisplayIO.java
r655 r730 577 577 title.append(" [").append(SessionStats.getShortStats()).append(']'); 578 578 579 _Browser.setTitle(title.toString()); 579 _Browser.setTitle(DisplayIO.title + " ~~~ " + title.toString()); 580 } 581 582 private static String title = ""; 583 public static void setTitle(String str) { 584 title = str; 580 585 } 581 586
Note:
See TracChangeset
for help on using the changeset viewer.