> + // This shouldn't be necessary, but works better with the gtk-mir backend. > You consider this a gtk-mir bug? It smells like one to me
I do, but the workaround gets immediate results.
« Back to merge proposal
> + // This shouldn't be necessary, but works better with the gtk-mir backend.
> You consider this a gtk-mir bug? It smells like one to me
I do, but the workaround gets immediate results.