Re: [ jEdit-users ] Missing toolbar in JEdit 5.1

[Jarvis, B. <bj...@je...>]

One other thought – could it be coming up in full-screen mode? When I toggle to full screen (F11) the toolbar goes away. When I toggle back (F11) the toolbar comes back.

Thanks,
Bob

From: Alan Ezust [mailto:ala...@gm...]
Sent: Friday, June 06, 2014 1:31 PM
To: Francisco Gracia
Cc: jedit-users
Subject: Re: [ jEdit-users ] Missing toolbar in JEdit 5.1

Is this a regular view or a "plain view"?
When I create a "new plain view", there are no dockables or toolbars.
if I create a "new view" then I see them.

On Fri, Jun 6, 2014 at 11:12 AM, Francisco Gracia <fgr...@gm...<mailto:fgr...@gm...>> wrote:
I have been using *JEdit* as a general text editor since many years, as I find it powerful and very convenient. I am using it with Windows 7 64 bit. I have always had the toolbar visible, as well as the incremental search bar. But when I upgraded to version 5.1 the tool bar disappeared, as does the search bar after every search operation. I have updated to the prerelease version 5.2, but the situation does not seem to be different. I have verified of course that the corresponding check buttons are duly checked in the *Utilities > Global options > Toolbar > Show toolbar* and *Utilities > Global options > View > Allways show search bar*, as well as having tried all combinations I have imagined to solve the problem, until now to no avail.
Any ideas about what is wrong?
Thanks in advance
Paco

------------------------------------------------------------------------------
Learn Graph Databases - Download FREE O'Reilly Book
"Graph Databases" is the definitive new guide to graph databases and their
applications. Written by three acclaimed leaders in the field,
this first edition is now available. Download your free book today!
http://p.sf.net/sfu/NeoTech
--
-----------------------------------------------
jEdit Users' List
jEd...@li...<mailto:jEd...@li...>
https://lists.sourceforge.net/lists/listinfo/jedit-users


The information contained in this e-mail message is privileged and/or
confidential and is intended only for the use of the individual or entity
named above.  If the reader of this message is not the intended
recipient, or the employee or agent responsible to deliver it to the
intended recipient, you are hereby notified that any dissemination,
distribution or copying of this communication is strictly prohibited.
If you have received this communication in error, please immediately
notify us by telephone (330-668-5000), and destroy the original
message.  Thank you.