[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Denemo-devel] Is there a way to have all pop-up windows be on top
From: |
Richard Shann |
Subject: |
Re: [Denemo-devel] Is there a way to have all pop-up windows be on top |
Date: |
Mon, 05 Oct 2015 10:08:18 +0100 |
On Sun, 2015-10-04 at 21:24 +0100, Richard Shann wrote:
> > I also noticed that the pallets will "disappear" behind denemo if
> > denemo's main editing screen is clicked on. Shouldn't the pallet
> > remain above but have the denemo main edit window have focus?
Yes, I think it should, and indeed I see I have put
gtk_window_set_keep_above (GTK_WINDOW (pal->window), TRUE);
in src/ui/palettes.c
but, as the Gtk documentation says, window managers can ignore these
requests, which is what Apple is doing I guess. Looking at this, I see a
bug - if you change to Undock a palette it doesn't acquire the
keep_above property until you re-start Denemo. I guess I need another
call to that function on undocking ...
Richard
- [Denemo-devel] Is there a way to have all pop-up windows be on top, Jeremiah Benham, 2015/10/08
- Re: [Denemo-devel] Is there a way to have all pop-up windows be on top, Richard Shann, 2015/10/08
- Re: [Denemo-devel] Is there a way to have all pop-up windows be on top, Jeremiah Benham, 2015/10/08
- Re: [Denemo-devel] Is there a way to have all pop-up windows be on top, Richard Shann, 2015/10/08
- Re: [Denemo-devel] Is there a way to have all pop-up windows be on top,
Richard Shann <=
- Re: [Denemo-devel] Is there a way to have all pop-up windows be on top, Richard Shann, 2015/10/08
- Re: [Denemo-devel] Is there a way to have all pop-up windows be on top, Jeremiah Benham, 2015/10/14
- Re: [Denemo-devel] Is there a way to have all pop-up windows be on top, Richard Shann, 2015/10/15
- Re: [Denemo-devel] Is there a way to have all pop-up windows be on top, Richard Shann, 2015/10/15
- Re: [Denemo-devel] Is there a way to have all pop-up windows be on top, Jeremiah Benham, 2015/10/16
- Re: [Denemo-devel] Is there a way to have all pop-up windows be on top, Richard Shann, 2015/10/16
- Re: [Denemo-devel] Is there a way to have all pop-up windows be on top, Jeremiah Benham, 2015/10/16
- Re: [Denemo-devel] Is there a way to have all pop-up windows be on top, Richard Shann, 2015/10/16
- Re: [Denemo-devel] Is there a way to have all pop-up windows be on top, Jeremiah Benham, 2015/10/16
- Re: [Denemo-devel] Is there a way to have all pop-up windows be on top, Richard Shann, 2015/10/16