Bug can be closed AFAIC, issue doesn't affect me personally anymore, since 
update after reportbug report. Thanks for such a prompt fix. Now if we can get 
the UI changes to stick on restart .... Another bug report. ;-)

Reply via email to