| .. |
|
META-INF
|
2ec18236c5
PopupKeyboard: handle keyboard headings more elegantly. Commit MANIFEST.MF, which is required to build a JAR file that runs.
|
3 years ago |
|
fjwright
|
2bfe7fca70
Further revise code to control the disabled state of the Earlier and Later Input buttons; I think this version works correctly. Rename setShowMenuHistory() to setEarlierButtonAvailability(). Rename menuInput to kbdInput and negate its value. Replace kbdInputListIndex and maxKbdInputListIndex with firstKbdInputListIndex. Some code tidying.
|
3 years ago |
|
module-info.java
|
6a5979443d
v2.41 Finish renaming Run-REDUCE-FX to Run-REDUCE, including JAR and script files for future releases.
|
3 years ago |
Francis Wright
2bfe7fca70
Further revise code to control the disabled state of the Earlier and Later Input buttons; I think this version works correctly. Rename setShowMenuHistory() to setEarlierButtonAvailability(). Rename menuInput to kbdInput and negate its value. Replace kbdInputListIndex and maxKbdInputListIndex with firstKbdInputListIndex. Some code tidying.