GTK, Win32: always map keypad decimal separator to dot.

We only accept dot as a decimal separator, but the OS locale
may use a comma there.

CHANGELOG.md

@@ -44,6 +44,7 @@ Other new features:
   * When selecting a point and a line, projected distance to to current
     workplane is displayed.
   * The "=" key is bound to "Zoom In", like "+" key.
+  * The numpad decimal separator key is bound to "." regardless of locale.
 
 Bugs fixed:
   * A point in 3d constrained to any line whose length is free no longer

src/platform/gtkmain.cpp

@@ -512,6 +512,10 @@ protected:
             chr = '\b';
             break;
 
+            case GDK_KEY_KP_Decimal:
+            chr = '.';
+            break;
+
             default:
             if(event->keyval >= GDK_KEY_F1 && event->keyval <= GDK_KEY_F12) {
                 chr = GraphicsWindow::FUNCTION_KEY_BASE + (event->keyval - GDK_KEY_F1);

src/platform/w32main.cpp

@@ -689,6 +689,7 @@ static bool ProcessKeyDown(WPARAM wParam)
         case VK_OEM_6:          c = ']';            break;
         case VK_OEM_5:          c = '\\';           break;
         case VK_OEM_PERIOD:     c = '.';            break;
+        case VK_DECIMAL:        c = '.';            break;
         case VK_SPACE:          c = ' ';            break;
         case VK_DELETE:         c = 127;            break;
         case VK_TAB:            c = '\t';           break;