On 2017-06-03 16:22, David Nadlinger wrote: > We could also finally fix the frontend to get around this. At DConf > 2015, Walter officially agreed that this is a bug that needs fixing. ;) That would be nice. -- /Jacob Carlborg