 DeepSource Bot
|
574ef0c85b
Add .deepsource.toml
|
il y a 3 ans |
 Jeffrey H. Johnson
|
d207c1ab02
Update .gitattributes
|
il y a 3 ans |
 Jeff Johnson
|
b4b8051470
Update .gitattributes: Add extra exclusions.
|
il y a 3 ans |
|
Jeff Johnson
|
59156d04a6
multi: Redirect for PRs/issues; disable Linguist
|
il y a 3 ans |
 Francis Wright
|
c2516262a9
Update README.md
|
il y a 3 ans |
|
Francis Wright
|
a13b4809f1
Update README.md
|
il y a 3 ans |
 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.
|
il y a 3 ans |
|
Francis Wright
|
294e722e75
Revise code to control the disabled state of the Earlier and Later Input buttons, but it still doesn't work correctly.
|
il y a 3 ans |
|
Francis Wright
|
2243b31037
Introduce setShowMenuHistory() to control the disabled state of the Earlier and Later Input buttons and call it in RRPreferences.save() when the Options menu item Show Menu History changes, or the Control and Shift keys are or are not both pressed and the Input Area has focus. Update switch statements to use extended syntax. Tidy prompt regex.
|
il y a 3 ans |
|
Francis Wright
|
44618db050
Disabling Earlier and Later Input buttons now works correctly when the Show Menu Input is not set and the Shift key is not pressed.
|
il y a 3 ans |
|
Francis Wright
|
f7a9313f8f
First attempt to disable Earlier and Later Input buttons correctly depending on Show Menu Input and the Shift key. Move declarations down to the User input processing section. Introduce variables kbdInputListIndex and maxKbdInputListIndex.
|
il y a 3 ans |
|
Francis Wright
|
c21a5f26dd
v3.0.6 Swap last lines of About dialogue.
|
il y a 3 ans |
|
Francis Wright
|
3437f381e3
For the Load Packages Dialog: right-click a package to display the manual entry; map redlog sub-packages to the redlog manual entry; exclude redfront.
|
il y a 3 ans |
|
Francis Wright
|
68baec2823
For the Load Packages Dialog: move class REDUCEManual to its own file and make it public; implement manualButtonAction(); revise the Display Manual Entry button tooltip.
|
il y a 3 ans |
|
Francis Wright
|
4986b93266
Add a Display Manual Entry button to the Load Packages Dialog that is disabled unless precisely one package is selected. Revise the Template class and split off the initial code in redManHyperlinkOnAction() into a new static REDUCEManual class to manage building an index of the local HTML REDUCE Manual to be used by Template and the Load Packages Dialog.
|
il y a 3 ans |
|
Francis Wright
|
8fffe75bce
Preserve _ characters in the display of package names. Remove inappropriate packages from the package list. Tidy up the code that builds the list of packages and the error message (which looks fine on Windows).
|
il y a 3 ans |
|
Francis Wright
|
eac8af1b75
v3.0.5 Delete obsolete compatibility code to handle reduceVersions preference.
|
il y a 3 ans |
|
Francis Wright
|
d955670a58
Save Show Menu History and Pop-up Queries Option menu settings as preferences. Tidy code in RRPreferences and add underscores to some constant names.
|
il y a 3 ans |
|
Francis Wright
|
9e9d8b6f2f
Revise REDUCE panel button tooltips. Revise code to skip menu input. Include the Stop and Restart REDUCE and Template and Function menu input in the input history.
|
il y a 3 ans |
|
Francis Wright
|
d16116400f
Use Java language level 16 for records, so *require* Java 16. Record whether input stored in inputList comes from the keyboard or menus. Rename Options menu item from Hide Menu History to Show Menu History. Scrolling through past input shows menu input only if Show Menu History is selected or the Shift key is pressed.
|
il y a 3 ans |
|
Francis Wright
|
35d4bd8d60
Improve the code to recognise prompts and handle stealth input; it is now much more elegant and robust. Correct the Pop-up Queries menu item mangled when adding the Hide Menu History menu item.
|
il y a 3 ans |
|
Francis Wright
|
ea4a4d289a
v3.0.4 April: First attempt to include commands generated by the menus in the input history, with an Options menu item to hide them that is not yet active. But testing this has exposed an error in detecting prompts when using menus for input.
|
il y a 3 ans |
|
Francis Wright
|
2c3f16449a
Strip any echoed "y/Y/n/N" after responding to a user query.
|
il y a 3 ans |
|
Francis Wright
|
481ab273e2
Better handling of warning and error output. Put it in a <span> element rather than a separate <pre> element. Set the color to black, which is only really relevant for symbolic mode.
|
il y a 3 ans |
|
Francis Wright
|
13e8cc0c82
Better question prompt detection.
|
il y a 3 ans |
|
Francis Wright
|
894d0feab4
Fix display of warnings and errors.
|
il y a 3 ans |
|
Francis Wright
|
c3b0e0d900
v3.0.3 First attempt to improve display of warnings and errors. But this messes up surrounding output for interactive lesson less1.red. Need to handle warning or error message as part of other output.
|
il y a 3 ans |
|
Francis Wright
|
eb61960d4b
v3.0.2 Correct version numbering. Handle explicit "bye" (etc.) input the same as menu stop item to allow for the fact that REDUCE may not actually stop.
|
il y a 3 ans |
|
Francis Wright
|
aed38513ff
v3.2 Revise handling of Stop and Kill REDUCE: now stop waits for REDUCE to stop and only calls reduceStopped() if the REDUCE process has exited; move the kill code from RunREDUCEFrame.java into REDUCEPanel.java and try using Process.destroy() instead of Process.destroyForcibly(). However, killing REDUCE run via a shell on Windows only kills the shell and leaves REDUCE running! This needs more work, although it may work on Unix-like platforms.
|
il y a 3 ans |
|
Francis Wright
|
025dbe71af
Improve handling of the query pop-up to allow output before the query, as happens with file input. Strip the redundant "(Y or N)" from the end of the query. There may still be a problem with file input.
|
il y a 3 ans |
