Re: [Devilspie2-discuss] [PATCH] Add support for setting and deleting window properties

[Andreas Ronnquist]

On Thu, 07 Mar 2019 00:18:10 +0000,
Darren Salt<address@hidden> wrote:

>I expect that this will be useful for things like marking a window for
>variable-rate refresh, e.g. for Feral's port of “Tomb Raider”:
>
>  if get_application_name() == "Tomb Raider" then
>    set_window_property("_VARIABLE_REFRESH", 1)
>  end
>
>(I haven't tested whether the game actually works with Freesync;
>merely that the property is being set.)


Thanks! You don't mind having your name and email in the credits and the
git repository, right? 

- I think I should ask before committing.

Many thanks for the patch!

best regards
-- Andreas Rönnquist
address@hidden
address@hidden