Skip to content

Commit bc4c877

Browse files
fjwrightfjwright
committed
v2.7 Update UserGuide for release.
1 parent a068681 commit bc4c877

4 files changed

Lines changed: 66 additions & 36 deletions

File tree

‎docs/UserGuide.html‎

Lines changed: 32 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -110,6 +110,15 @@ <h2 id="MainWindow">The Main Window</h2>
110110
in it (if any) is preserved and carried to the new display pane
111111
arrangement, but any other REDUCE invocations are discarded.
112112
</p>
113+
<p>With a split pane, you can select synchronised scrolling so
114+
that scrolling the selected REDUCE panel (in any way) also
115+
scrolls the other REDUCE panel to the same relative position.
116+
This facility is experimental and currently forces both REDUCE
117+
panels to display content at the same (relative) position; the
118+
other REDUCE panel cannot be scrolled from its current position
119+
but will jump to the same relative position as the selected
120+
REDUCE panel.
121+
</p>
113122
<p>With a split or tabbed pane, you can select the active REDUCE
114123
panel by clicking on the desired panel in a split pane or tab on
115124
a tabbed pane. You can also select the next REDUCE panel
@@ -781,30 +790,36 @@ <h3>Typeset Maths</h3>
781790
Session Log...</em> outputs typeset maths using LaTeX markup.
782791
</p>
783792
<h3>Single Pane Display</h3>
784-
<p>Selecting this causes Run-REDUCE to display the selected
785-
REDUCE panel only. This is the default.
793+
<p>Selecting this causes Run-REDUCE to display the selected REDUCE
794+
panel only. This is the default.
786795
</p>
787796
<h3>Split Pane Display</h3>
788-
<p>Selecting this causes Run-REDUCE to display two REDUCE
789-
panels side-by-side. The left-hand panel displays the previously
790-
selected REDUCE panel (if any) and is initially active. Clicking
791-
on a REDUCE panel makes it active for input via its input editor
792-
pane and the menus. The inactive REDUCE panel can continue to
793-
update its output display. Both panels are the same size
794-
initially, but you can change that by dragging the divider.
797+
<p>Selecting this causes Run-REDUCE to display two REDUCE panels
798+
side-by-side. The left-hand panel displays the previously
799+
selected REDUCE panel (if any) and is initially active.
800+
Clicking on a REDUCE panel makes it active for input via its
801+
input editor pane and the menus. The inactive REDUCE panel can
802+
continue to update its output display. Both panels are the same
803+
size initially, but you can change that by dragging the divider.
795804
</p>
796805
<h3>Tabbed Pane Display</h3>
797-
<p>Selecting this causes Run-REDUCE to display a tabbed pane
798-
with the previously selected REDUCE panel (if any) displayed under
799-
the first tab. Clicking on the <code>&times;</code> icon at the
800-
right of the selected tab label removes that tab and the REDUCE
801-
panel it contains. When there is only one tab, removing it
802-
disables tabbed display but preserves the REDUCE panel that the
803-
tab contained.
806+
<p>Selecting this causes Run-REDUCE to display a tabbed pane with
807+
the previously selected REDUCE panel (if any) displayed under
808+
the first tab. Clicking on the <code>&times;</code> icon at the
809+
right of the selected tab label removes that tab and the REDUCE
810+
panel it contains. When there is only one tab, removing it
811+
disables tabbed display but preserves the REDUCE panel that the
812+
tab contained.
813+
</p>
814+
<h3>Synchronise Scrolling</h3>
815+
<p>Selecting this synchronises the scrolling of the two REDUCE
816+
panels in a split pane display; see <a href="#MainWindow">The
817+
Main Window</a>. This menu item is disabled unless split pane
818+
display is selected.
804819
</p>
805820
<h3>Add Another Tab</h3>
806821
<p>This adds a new tab to a tabbed display. This menu item is
807-
disabled unless tabbed pane display is selected.
822+
disabled unless tabbed pane display is selected.
808823
</p>
809824

810825
<h2 id="TemplatesMenu">The Templates Menu</h2>

‎resources/UserGuide.html‎

Lines changed: 32 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -110,6 +110,15 @@ <h2 id="MainWindow">The Main Window</h2>
110110
in it (if any) is preserved and carried to the new display pane
111111
arrangement, but any other REDUCE invocations are discarded.
112112
</p>
113+
<p>With a split pane, you can select synchronised scrolling so
114+
that scrolling the selected REDUCE panel (in any way) also
115+
scrolls the other REDUCE panel to the same relative position.
116+
This facility is experimental and currently forces both REDUCE
117+
panels to display content at the same (relative) position; the
118+
other REDUCE panel cannot be scrolled from its current position
119+
but will jump to the same relative position as the selected
120+
REDUCE panel.
121+
</p>
113122
<p>With a split or tabbed pane, you can select the active REDUCE
114123
panel by clicking on the desired panel in a split pane or tab on
115124
a tabbed pane. You can also select the next REDUCE panel
@@ -781,30 +790,36 @@ <h3>Typeset Maths</h3>
781790
Session Log...</em> outputs typeset maths using LaTeX markup.
782791
</p>
783792
<h3>Single Pane Display</h3>
784-
<p>Selecting this causes Run-REDUCE to display the selected
785-
REDUCE panel only. This is the default.
793+
<p>Selecting this causes Run-REDUCE to display the selected REDUCE
794+
panel only. This is the default.
786795
</p>
787796
<h3>Split Pane Display</h3>
788-
<p>Selecting this causes Run-REDUCE to display two REDUCE
789-
panels side-by-side. The left-hand panel displays the previously
790-
selected REDUCE panel (if any) and is initially active. Clicking
791-
on a REDUCE panel makes it active for input via its input editor
792-
pane and the menus. The inactive REDUCE panel can continue to
793-
update its output display. Both panels are the same size
794-
initially, but you can change that by dragging the divider.
797+
<p>Selecting this causes Run-REDUCE to display two REDUCE panels
798+
side-by-side. The left-hand panel displays the previously
799+
selected REDUCE panel (if any) and is initially active.
800+
Clicking on a REDUCE panel makes it active for input via its
801+
input editor pane and the menus. The inactive REDUCE panel can
802+
continue to update its output display. Both panels are the same
803+
size initially, but you can change that by dragging the divider.
795804
</p>
796805
<h3>Tabbed Pane Display</h3>
797-
<p>Selecting this causes Run-REDUCE to display a tabbed pane
798-
with the previously selected REDUCE panel (if any) displayed under
799-
the first tab. Clicking on the <code>&times;</code> icon at the
800-
right of the selected tab label removes that tab and the REDUCE
801-
panel it contains. When there is only one tab, removing it
802-
disables tabbed display but preserves the REDUCE panel that the
803-
tab contained.
806+
<p>Selecting this causes Run-REDUCE to display a tabbed pane with
807+
the previously selected REDUCE panel (if any) displayed under
808+
the first tab. Clicking on the <code>&times;</code> icon at the
809+
right of the selected tab label removes that tab and the REDUCE
810+
panel it contains. When there is only one tab, removing it
811+
disables tabbed display but preserves the REDUCE panel that the
812+
tab contained.
813+
</p>
814+
<h3>Synchronise Scrolling</h3>
815+
<p>Selecting this synchronises the scrolling of the two REDUCE
816+
panels in a split pane display; see <a href="#MainWindow">The
817+
Main Window</a>. This menu item is disabled unless split pane
818+
display is selected.
804819
</p>
805820
<h3>Add Another Tab</h3>
806821
<p>This adds a new tab to a tabbed display. This menu item is
807-
disabled unless tabbed pane display is selected.
822+
disabled unless tabbed pane display is selected.
808823
</p>
809824

810825
<h2 id="TemplatesMenu">The Templates Menu</h2>

‎src/fjwright/runreduce/RunREDUCEFrame.fxml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -74,7 +74,7 @@
7474
toggleGroup="$displayPaneButtonGroup"/>
7575
<SeparatorMenuItem mnemonicParsing="false"/>
7676
<CheckMenuItem fx:id="syncScrollCheckMenuItem" disable="true" mnemonicParsing="false"
77-
onAction="#syncScrollCheckMenuItemAction" text="Synchronize Scrolling"/>
77+
onAction="#syncScrollCheckMenuItemAction" text="Synchronise Scrolling"/>
7878
<MenuItem fx:id="addTabMenuItem" disable="true" mnemonicParsing="false" onAction="#addTabMenuItemAction"
7979
text="Add Another Tab"/>
8080
</Menu>

‎src/fjwright/runreduce/RunREDUCEFrame.java‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -665,7 +665,7 @@ private void sourceForgeMenuItemAction() {
665665
RunREDUCE.hostServices.showDocument("https://sourceforge.net/projects/reduce-algebra/");
666666
}
667667

668-
static final String VERSION = "2.66";
668+
static final String VERSION = "2.7";
669669

670670
@FXML
671671
private void aboutMenuItemAction() {

0 commit comments

Comments
 (0)