- Timestamp:
- 2020-07-13T20:37:55+12:00 (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/gli/src/org/greenstone/gatherer/gui/NumberedJTextArea.java
r29034 r34266 53 53 public final GLIButton redoButton; 54 54 55 public NumberedJTextArea() { 56 this(""); 57 } 58 55 59 public NumberedJTextArea(String tooltip) { 56 60 this("", tooltip);
Note:
See TracChangeset
for help on using the changeset viewer.