On 2019-05-10 19:31:46 +0200 Richard Frith-Macdonald
wrote:
As an example, the Resources/Info.plist might control window
decorations with:
{
GSThemeDomain = {
GSBackHandlesWindowDecorations = NO;
};
}
Yes, I know and the theme did already have this. But this does not
As an example, the Resources/Info.plist might control window decorations with:
{
GSThemeDomain = {
GSBackHandlesWindowDecorations = NO;
};
}
and have the default theme colors (including transparency) archived into:
Resources/ThemeColors.clr
On 2019-05-10 13:35:28 +0200 Richard Frith-Macdonald
wrote:
>
>
>> On 10 May 2019, at 12:24, Bertrand Dekoninck
>> wrote:
>
>> On 2019-05-10 13:06:02 +0200 Fred Kiefer wrote:
>
>>> Hi Bertrand,
>
>>> I think you are misreading the compiler warning. This just complains that
>>> the
> On 10 May 2019, at 12:24, Bertrand Dekoninck
> wrote:
>
> On 2019-05-10 13:06:02 +0200 Fred Kiefer wrote:
>
>> Hi Bertrand,
>>
>> I think you are misreading the compiler warning. This just complains that
>> the
>> class that this method is on already has an instance variable with the
On 2019-05-10 13:06:02 +0200 Fred Kiefer wrote:
> Hi Bertrand,
>
> I think you are misreading the compiler warning. This just complains that the
> class that this method is on already has an instance variable with the name
> „defaults“. You should just use a different name for your local
> On 10 May 2019, at 11:39, Bertrand Dekoninck
> wrote:
>
> Hi, everyone, I'd like to add some default values to the rik.theme, writable
> with the "defaults" tool.
> I wanted to add a transparency level to the top menu bar, which would be
> editable. I thought I could do something like
Hi Bertrand,
I think you are misreading the compiler warning. This just complains that the
class that this method is on already has an instance variable with the name
„defaults“. You should just use a different name for your local variable
instead. Maybe something like „user_defaults“?
Hope
Hi, everyone, I'd like to add some default values to the rik.theme, writable
with the "defaults" tool.
I wanted to add a transparency level to the top menu bar, which would be
editable. I thought I could do something like this :
- (NSColor *) menuBackgroundColor
{
float transparency = 1.0;