Re: [isabelle] Isabelle2016-RC2 panel focus issues
Ubuntu 14.04 LTS, using Unity. I can dig up the precise settings,
if you tell me what you want and where to look for it among the
various settings, "tweak tools", and configuration files.
- Gene Stark
On 01/29/2016 09:57 AM, Makarius wrote:
> On Fri, 29 Jan 2016, Eugene W. Stark wrote:
>> Isabelle2016-RC2 has a new (and annoying) behavior that I don't believe
>> I have noticed in previous versions. Under Ubuntu, I have the window manager
>> set to "focus follows mouse". But JEdit no longer honors this, in the situation
>> where I click in the Sidekick panel, then move the mouse to the main edit
>> window, the focus remains in the Sidekick panel and if I start to type my
>> typein goes into the Sidekick filter textbox. To be able to type in the
>> main window, I have to explicitly click on it to change the focus.
> Which version of Ubuntu is this precisely? An which window manager?
This archive was generated by a fusion of
Pipermail (Mailman edition) and