From ce0f3073fd28bde03137b4c1310231dd00ec076a Mon Sep 17 00:00:00 2001
From: Jacob Wikmark <jacob@wikmark.se>
Date: Mon, 12 Mar 2018 17:49:53 +0100
Subject: [PATCH] compatibility with latest WebIO
---
src/tanklabgui.jl | 4 ----
1 file changed, 4 deletions(-)
diff --git a/src/tanklabgui.jl b/src/tanklabgui.jl
index 5557e1d..b9542fa 100644
--- a/src/tanklabgui.jl
+++ b/src/tanklabgui.jl
@@ -141,10 +141,6 @@ function makegui(P, plottingframerate = 10, guiframerate = 10)
layout = setindex_(layout, Node(:div, graphic1, dummygraphic1, dummygraphic2, io_element,
attributes = tankattr), 1, 2)
- #This makes it look a bit nicer, reducing the width of the right column
- layout[1][2].props[:style][:width] = "25%"
-
-
LabGUI.set!(gui, layout)
LabGUI.animate(gui, :svgdummy, 1/guiframerate)
--
GitLab