Samuel Thibault, on Mon 31 Oct 2016 17:00:07 +0100, wrote: > This uses the console API to record the window ID of the GTK windows.
Ah, sorry, I let this one through, please ignore it, it'll need rework as discussed in the other thread. Samuel
Samuel Thibault, on Mon 31 Oct 2016 17:00:07 +0100, wrote: > This uses the console API to record the window ID of the GTK windows.
Ah, sorry, I let this one through, please ignore it, it'll need rework as discussed in the other thread. Samuel