Commit 5d0079f3 authored by John van Groningen's avatar John van Groningen

enable print and close menu elements if the profile is opened using

a command line argument
parent 31e19780
......@@ -34,6 +34,7 @@ where
# hasPage = hasPrev || hasNext
# (_,ps) = openMenu Void (page_menu hasPage hasNext hasPrev recId pageId nextId prevId) ps
# (_,ps) = openMenu Void (help_menu) ps
ps = if (info`.node_size_sum>=0) (appPIO (enableMenuElements [closeId,printId]) ps) ps
= installPlatformEventHandlers ps
file_menu recId winId closeId printId pageId nextId prevId =
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment