From 4dc9fda67352ea191311ff876f5ef41a49396d85 Mon Sep 17 00:00:00 2001 From: Joshua Ji Date: Tue, 10 Oct 2023 18:17:16 -0600 Subject: [PATCH] open all tabs in the beginning --- app/Route/Index.elm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/app/Route/Index.elm b/app/Route/Index.elm index d49e178..c712d41 100644 --- a/app/Route/Index.elm +++ b/app/Route/Index.elm @@ -124,7 +124,7 @@ init app _ = in ( { code = defaultExample.code , openExampleTabs = Set.fromList [ defaultExampleTab ] - , openTabs = Set.fromList [ "howto" ] + , openTabs = Set.fromList [ "whatis", "howto" ] , currCodeExample = Updating defaultExample.id , compiled = Idle }