global options
- To: mathgroup@smc.vnet.net
- Subject: [mg12391] global options
- From: "Jrgen Tischer" <jtischer@pitagoras.univalle.edu.co>
- Date: Sun, 10 May 1998 02:05:13 -0400
Hi all, I would like to use as global option WindowsToolbars---> "Editbar". I can do it ok, but then the Help window also gets a edit bar, and the space the bar consumes above is cut off below (which is bad because the lower window button isn't longer usable. Any idea? Jrgen