Commit 15463c17 authored by Ronny Wichers Schreur's avatar Ronny Wichers Schreur

johnvg: make window wider

parent 003a6852
......@@ -26,7 +26,7 @@ where
# (info`=:{application_name},ps) = open_heap_file_from_command_line ps
# ps = appPLoc (\l->Just application_name) ps
# (_,ps) = openWindow Void (FlexBarWindow application_name info info` profileLook profileFuns recId
[ WindowViewSize {w=400,h=400}
[ WindowViewSize {w=560,h=400}
, WindowId winId
]) ps
# (_,ps) = openMenu Void (file_menu recId winId closeId printId pageId nextId prevId) ps
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment