Bugfix for production

README.md

@@ -13,7 +13,7 @@ viASP allows you to explore the visualization in a variety of ways:
 * Inspect iterations of recursive rules
 * Visualize unsatisfiable programs
 * Move rules to follow a preferred order
-* Zoom in and out of parts of the graph
+* Zoom in and out of parts of the graph (press `Shift` and scroll)
 
 ## Installation
 

backend/src/viasp/shared/defaults.py

@@ -2,7 +2,7 @@
 import os
 
 DEFAULT_BACKEND_PROTOCOL = "http"
-DEFAULT_BACKEND_HOST = "localhost"
+DEFAULT_BACKEND_HOST = "127.0.0.1"
 DEFAULT_BACKEND_PORT = 5050
 DEFAULT_FRONTEND_PORT = 8050
 DEFAULT_BACKEND_URL = f"{DEFAULT_BACKEND_PROTOCOL}://{DEFAULT_BACKEND_HOST}:{DEFAULT_BACKEND_PORT}"

frontend/src/lib/constants/animation.js

@@ -1,5 +1,6 @@
 import { getDetailOpenWidthRatio } from "../components/Detail.react";
 export const DEBOUNCETIMEOUT = 150;
+export const ZOOMTOGGLEBUTTON = 'Shift'
 export const SMALLERDEBOUNCETIMEOUT = 50;
 export const detailClosedShiftThreshold = 0.2;
 export const detailOpenShiftThreshold = 0.05;

frontend/src/lib/main/ViaspDash.react.js

@@ -160,13 +160,14 @@ function MainWindow(props) {
 
     React.useEffect(() => {
         const handleKeyDown = (event) => {
-            if (event.key === 'Control') {
+            console.log(event.key);
+            if (event.key === Constants.ZOOMTOGGLEBUTTON) {
                 setCtrlPressed(true);
             }
         };
 
         const handleKeyUp = (event) => {
-            if (event.key === 'Control') {
+            if (event.key === Constants.ZOOMTOGGLEBUTTON) {
                 setCtrlPressed(false);
             }
         };