Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2016-RC2 panel focus issues


view this post on Zulip Email Gateway (Aug 22 2022 at 12:22):

From: "Eugene W. Stark" <isabelle-users@starkeffect.com>
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.

- Gene Stark

view this post on Zulip Email Gateway (Aug 22 2022 at 12:22):

From: Makarius <makarius@sketis.net>
Which version of Ubuntu is this precisely? An which window manager?

Makarius

view this post on Zulip Email Gateway (Aug 22 2022 at 12:22):

From: "Eugene W. Stark" <isabelle-users@starkeffect.com>
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

view this post on Zulip Email Gateway (Aug 22 2022 at 12:23):

From: Makarius <makarius@sketis.net>
I have now installed Ubuntu 14.04 LTS with Unity and Unity Tweak Tool to
enable "Mouse" focus.

It basically appears to work as I would expect, both in Isabelle2015 and
Isabelle2016-RC2, when moving between the outer windows (called "frames"
in Java terminology). Within a window, focus follows clicks as usual in
Swing, but there are slight differences demending on the look-and-feel,
e.g. highlighting of buttons as the mouse moves.

I don't think that Java Swing actually supports focus follows mouse
within its own windows. In which combination of versions and
look-and-feels did you see this working?

Makarius

view this post on Zulip Email Gateway (Aug 22 2022 at 12:23):

From: "Eugene W. Stark" <isabelle-users@starkeffect.com>
OK, I just re-tried Isabelle2015 and the behavior seems to be the same
(though I don't like it). I apologize for "shooting from the lip" and
costing you the time and effort. Basically when I downloaded and started
using Isabelle2016-RC2 I somehow became aware very quickly of this behavior,
which had not bothered me before, so I presumed that it was new.
Apparently it is not.

- Gene Stark


Last updated: Mar 29 2024 at 08:18 UTC