>> Yes in fact. It looks like its not done by the callback. Question is, >> would it make sense to do it?
I would further argue that toggle all widgets should be combined into full screen. I'm guessing 99% of the use cases of full screen are going to be to expand just the source window. _______________________________________________ Geany mailing list [email protected] http://lists.uvena.de/cgi-bin/mailman/listinfo/geany
