[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: |
Thu, 15 Oct 2015 09:07:54 +0100 |
On Thu, 2015-10-15 at 09:01 +0100, Richard Shann wrote:
> The code compiled with
> _MACH_O_ defined defines a preference Denemo.prefs->hide_windows to be
> 0
sorry, for _MACH_O it sets Denemo.prefs->hide_windows to 1; as I am on
Debian I had to set it to 1 in the debugger to test out the effect. So
the rest of what I wrote is ok.
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, 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/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 <=
- 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
- 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