diff --git a/external/GoUI b/external/GoUI index 54d1229..2376300 160000 --- a/external/GoUI +++ b/external/GoUI @@ -1 +1 @@ -Subproject commit 54d1229c9f12ee0edf65774a3335bff70ff78a84 +Subproject commit 237630054b0d2fcab327cd271573d769c03f593b diff --git a/public/js/Go.js b/public/js/Go.js index 867caba..dbed955 100644 --- a/public/js/Go.js +++ b/public/js/Go.js @@ -9648,13 +9648,8 @@ var _user$project$Main$view = function (m) { {ctor: '[]'}, { ctor: '::', - _0: _elm_lang$html$Html$text( - _elm_lang$core$Basics$toString(m.board)), - _1: { - ctor: '::', - _0: A2(_user$project$Go_View$renderBoard, m.sessionSize, m.board), - _1: {ctor: '[]'} - } + _0: A2(_user$project$Go_View$renderBoard, m.sessionSize, m.board), + _1: {ctor: '[]'} }); }; var _user$project$Main$initDummy = { diff --git a/src/Go/views/base.ecr b/src/Go/views/base.ecr index 62b4dc1..e1c7898 100644 --- a/src/Go/views/base.ecr +++ b/src/Go/views/base.ecr @@ -1,5 +1,6 @@
+