From 5b27e7deaa18a8a913a72bd0ee20a23d71decea5 Mon Sep 17 00:00:00 2001 From: Dierk Koenig Date: Thu, 13 Aug 2015 16:05:05 +0200 Subject: [PATCH] styling the help and the source html view --- client/src/main/frege/org/frege/Application.fr | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/client/src/main/frege/org/frege/Application.fr b/client/src/main/frege/org/frege/Application.fr index d2d1fb9..9a5b708 100644 --- a/client/src/main/frege/org/frege/Application.fr +++ b/client/src/main/frege/org/frege/Application.fr @@ -217,11 +217,15 @@ cmdHelp = (fold (\str \(k,v) -> str ++ ""++ k ++""++ v ++ "") "" helpEntries ) ++ "" +style = "" + myInfoGUI :: String -> IO () -myInfoGUI source = monolog "Help Information" ("" ++ source ++ "") +myInfoGUI source = monolog "Help Information" ("" ++ style ++ source ++ "") myJavaSourceGUI :: String -> IO () -myJavaSourceGUI javaSource = monolog "Java Source" ("
" ++ javaSource)
+myJavaSourceGUI javaSource = monolog "Java Source" (""++ style ++"
" ++ javaSource)
 
 myHelpGUI :: String -> String -> IO ()
 myHelpGUI title content = monolog title rel2absolute where