Modified the behavior of spinner widget to make 5x steps, 10x steps

increments with key combination ctrl+ up/down(5x); ctrl + page up/page down(10x);
ctrl + left/right (10x)

Author: wmliuanl

app/display/model/src/main/resources/examples/controls_spinner_slider_scrollbar.bob

@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<display version="1.0.0">
+<display version="2.0.0">
   <name>Spinner Slider Scrollbar</name>
   <widget type="scrollbar" version="2.0.0">
     <name>Scrollbar</name>
@@ -45,7 +45,6 @@
     <width>110</width>
     <height>220</height>
     <horizontal>false</horizontal>
-    <scale_format>#.##</scale_format>
   </widget>
   <widget type="label" version="2.0.0">
     <name>Label_3</name>
@@ -70,18 +69,17 @@
   </widget>
   <widget type="label" version="2.0.0">
     <name>Label_5</name>
-    <text>The value can be adjusted both with
-the mouse and, when the widget is in
-focus, using the arrow keys and
-page up/down keys.
+    <text>The value can be adjusted both with the mouse and, when the widget is in focus, using the arrow keys and page up/down keys.
+      Up/Down arrow keys and Page Up/Down keys will change the value by 1 step size
+      Ctrl + Up/Down arrow keys will change the value by 5 x step size
+      Ctrl + Page Up/Down keys will change the value by 10 x step size
+      To make it up for some keyboard that need Fn keys to activate Page Up/Down, one can also use Ctrl Left/Right arrow keys to make changes at 10 x step szie
 
-The "increment" property of the widget
-determines the step size when using
-the keyboard.</text>
-    <x>143</x>
-    <y>191</y>
-    <width>238</width>
-    <height>189</height>
+The "increment" property of the widget determines the step size when using the keyboard.</text>
+    <x>141</x>
+    <y>160</y>
+    <width>579</width>
+    <height>250</height>
   </widget>
   <widget type="scaledslider" version="2.0.0">
     <name>Scaled Slider_1</name>
@@ -90,7 +88,6 @@ the keyboard.</text>
     <y>429</y>
     <width>419</width>
     <height>61</height>
-    <scale_format>#.##</scale_format>
     <limits_from_pv>false</limits_from_pv>
   </widget>
 </display>

app/display/representation-javafx/src/main/java/org/csstudio/display/builder/representation/javafx/widgets/SpinnerRepresentation.java

@@ -106,9 +106,19 @@ else if(focused){
                     break;
                 //incrementing by keyboard
                 //isShiftDown(), isControlDown(), isAltDown(), and isMetaDown()
+                case LEFT:
+					if(event.isControlDown()) {
+							spinner.getValueFactory().increment(10);
+							}
+					break;
+                case RIGHT:
+					if(event.isControlDown()) {
+							spinner.getValueFactory().decrement(10);
+							}
+					break;
                 case UP:
                     if (!active) {
-						if(event.isAltDown()) {
+						if(event.isControlDown()) {
 							spinner.getValueFactory().increment(5);
 							}
 						else {
@@ -118,17 +128,17 @@ else if(focused){
                     break;
                 case PAGE_UP:
                     if (!active) {
-						if(event.isAltDown()) {
-							spinner.getValueFactory().increment(50);
+						if(event.isControlDown()) {
+							spinner.getValueFactory().increment(10);
 							}
 						else {
-							spinner.getValueFactory().increment(10);
+							spinner.getValueFactory().increment(1);
 							}
 						}
                     break;
                 case DOWN:
                     if (!active) {
-						if(event.isAltDown()) {
+						if(event.isControlDown()) {
 							spinner.getValueFactory().decrement(5);
 							}
 						else {
@@ -138,15 +148,15 @@ else if(focused){
                     break;
                 case PAGE_DOWN:
                     if (!active) {
-						if(event.isAltDown()) {
-							spinner.getValueFactory().decrement(50);
+						if(event.isControlDown()) {
+							spinner.getValueFactory().decrement(10);
 							}
 						else {
-							spinner.getValueFactory().decrement(10);
+							spinner.getValueFactory().decrement(1);
 							}
 						}
                     break;
-                case ALT:
+                case CONTROL:
 					setActive(false);
 					break;
                 default: