0
@@ -1,5 +1,16 @@
0
 2008-08-11  Anthony Ricaud  <rik24d@gmail.com>
0
 
0
+        Changed Option/Alt-Up or Down in CSS editing when the value is
0
+        near zero to jump to the next integer.
0
+
0
+        Reviewed by Tim Hatcher.
0
+
0
+        https://bugs.webkit.org/show_bug.cgi?id=20326
0
+
0
+        * page/inspector/StylesSidebarPane.js:
0
+
0
+2008-08-11  Anthony Ricaud  <rik24d@gmail.com>
0
+
0
         Changed the line highlight transition for an easier animation.
0
 
0
         Reviewed by Tim Hatcher.

0
@@ -726,22 +726,29 @@ WebInspector.StylePropertyTreeElement.prototype = {
0
             else if (number === -1 && event.keyIdentifier === "Up")
0
                 numberNearZero = true;
0
 
0
-            // Jump by 10 when shift is down or jump by 0.1 when near zero or Alt/Option is down.
0
-            // Also jump by 10 for page up and down, or by 100 if shift is held with a page key.
0
-            var changeAmount = 1;
0
-            if (event.shiftKey && pageKeyPressed)
0
-                changeAmount = 100;
0
-            else if (event.shiftKey || pageKeyPressed)
0
-                changeAmount = 10;
0
-            else if (event.altKey || numberNearZero)
0
-                changeAmount = 0.1;
0
-
0
-            if (event.keyIdentifier === "Down" || event.keyIdentifier === "PageDown")
0
-                changeAmount *= -1;
0
-
0
-            // Make the new number and constrain it to a precision of 6, this matches numbers the engine returns.
0
-            // Use the Number constructor to forget the fixed precision, so 1.100000 will print as 1.1.
0
-            number = Number((number + changeAmount).toFixed(6));
0
+            if (numberNearZero && event.altKey && arrowKeyPressed) {
0
+                if (event.keyIdentifier === "Down")
0
+                    number = Math.ceil(number - 1);
0
+                else
0
+                    number = Math.floor(number + 1);
0
+            } else {
0
+                // Jump by 10 when shift is down or jump by 0.1 when near zero or Alt/Option is down.
0
+                // Also jump by 10 for page up and down, or by 100 if shift is held with a page key.
0
+                var changeAmount = 1;
0
+                if (event.shiftKey && pageKeyPressed)
0
+                    changeAmount = 100;
0
+                else if (event.shiftKey || pageKeyPressed)
0
+                    changeAmount = 10;
0
+                else if (event.altKey || numberNearZero)
0
+                    changeAmount = 0.1;
0
+
0
+                if (event.keyIdentifier === "Down" || event.keyIdentifier === "PageDown")
0
+                    changeAmount *= -1;
0
+
0
+                // Make the new number and constrain it to a precision of 6, this matches numbers the engine returns.
0
+                // Use the Number constructor to forget the fixed precision, so 1.100000 will print as 1.1.
0
+                number = Number((number + changeAmount).toFixed(6));
0
+            }
0
 
0
             replacementString = prefix + number + suffix;
0
         } else {