I think the reason not to change, is not a difficulty in implementation but a design view that is different from yours and mine. And from Sabine’s. And from Stef’s. And maybe from other persons too …
Just to say that I think this should have been discussed more. -- Does this mail seem too brief? Sorry for that, I don’t mean to be rude! Please see http://emailcharter.org <http://emailcharter.org/> . Johan Fabry - http://pleiad.cl/~jfabry PLEIAD and RyCh labs - Computer Science Department (DCC) - University of Chile > On May 27, 2016, at 05:39, Denis Kudriashov <dionisi...@gmail.com> wrote: > > I am wondering. Why people from GT team not do this? I was think it not easy. > > Anyway change following method to remove buttons from top pane: > > "protocol: building actions" > stackDebuggingActionsPragmas > > ^ #( )