[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #53893] Rearranging widgets in the variable ed
From: |
Dan Sebald |
Subject: |
[Octave-bug-tracker] [bug #53893] Rearranging widgets in the variable editor switches to another workspace |
Date: |
Sun, 13 May 2018 15:57:32 -0400 (EDT) |
User-agent: |
Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:55.0) Gecko/20100101 Firefox/55.0 |
Follow-up Comment #3, bug #53893 (project octave):
Oh, I see. Well, I don't observe that here, but I do notice that rearranging
the octave_dock_widgets by mouse drag causes a lot of redrawing as the window
dynamically drags into place. That is, there is some flashing of the window
title as the window shrinks into place as though focus is bouncing back and
forth with each redraw.
What I can say is that if I undock an octave_dock_widget and then redock, the
title is not highlighted. One has to click the mouse in a different
octave_dock_widget and then click the recently docked widget to get the
highlight (focus) back. But wasn't that fixed somewhere recently?
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?53893>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
- [Octave-bug-tracker] [bug #53893] Rearranging widgets in the variable editor switches to another workspace, Torsten, 2018/05/13
- [Octave-bug-tracker] [bug #53893] Rearranging widgets in the variable editor switches to another workspace, Dan Sebald, 2018/05/13
- [Octave-bug-tracker] [bug #53893] Rearranging widgets in the variable editor switches to another workspace, Torsten, 2018/05/13
- [Octave-bug-tracker] [bug #53893] Rearranging widgets in the variable editor switches to another workspace,
Dan Sebald <=
- [Octave-bug-tracker] [bug #53893] Rearranging widgets in the variable editor switches to another workspace, Dan Sebald, 2018/05/13
- [Octave-bug-tracker] [bug #53893] Rearranging widgets in the variable editor switches to another workspace, Dan Sebald, 2018/05/14
- [Octave-bug-tracker] [bug #53893] Rearranging widgets in the variable editor switches to another workspace, Torsten, 2018/05/16
- [Octave-bug-tracker] [bug #53893] Rearranging widgets in the variable editor switches to another workspace, Dan Sebald, 2018/05/16
- [Octave-bug-tracker] [bug #53893] Rearranging widgets in the variable editor switches to another workspace, Torsten, 2018/05/19
- [Octave-bug-tracker] [bug #53893] Rearranging widgets in the variable editor switches to another workspace, Dan Sebald, 2018/05/19
- [Octave-bug-tracker] [bug #53893] Rearranging widgets in the variable editor switches to another workspace, Torsten, 2018/05/19
- [Octave-bug-tracker] [bug #53893] Rearranging widgets in the variable editor switches to another workspace, Dan Sebald, 2018/05/20
- [Octave-bug-tracker] [bug #53893] Rearranging widgets in the variable editor switches to another workspace, Torsten, 2018/05/20
- [Octave-bug-tracker] [bug #53893] Rearranging widgets in the variable editor switches to another workspace, Dan Sebald, 2018/05/26