Merge branch 'master' into mandatory_names

2026-05-15 21:48:20 +02:00 · 2017-08-01 12:55:46 -04:00
parent f69463b5c8 fc50bed82d
commit 3de93caff4
7 changed files with 10 additions and 5 deletions
@@ -261,7 +261,7 @@ export function uiInit(context) {


        // pan amount
-        var pa = 10;
+        var pa = 80;

        var keybinding = d3keybinding('main')
            .on('⌫', function() { d3.event.preventDefault(); })