Implemented conditional menu for "Graphical expl. : time" as req in #95