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
> 
>       ^ #(  )

Reply via email to