June 5, 2018
7:38 p.m.
Can the bar menu be customized as it is the case with the World menu ? (i.e. DrGeo world menu) Hilaire Le 01/06/2018 à 14:22, Cyril Ferlicot D. a écrit :
Missing features: - What do we do when Pharo is not wide enough? - What to do when a window is dragged behind? - Make it parametrizable to allow users to build a bar with their own menu builder - Add shortcuts to open the menu windows like (maybe) - Update it when we change the font size (this is a general Pharo problem)
-- Dr. Geo http://drgeo.eu