Giuseppe Roberti

Results 17 comments of Giuseppe Roberti

Any plan to switch to C++17 by default?

Sure everyone can do this, but it's not the same as having c++17 as a default for the core, as well as all the libraries. Of course it was just...

> No one is going to rewrite all libraries. Who is going to do that? Why should one need to rewrite all libraries? I thought that the problem here was...

> Is there a misunderstanding or do you have a misconception? I was talking about [me asking for any plan to go with c++17 by default](https://github.com/arduino/ArduinoCore-avr/issues/435#issuecomment-1224883325) and you continuing to...

Thank you @JohnTheCoolingFan, this is exactly what I was looking for. I used it in conjunction with .focused to achieve what I wanted, here my config: ```css #workspaces button.visible {...

GitHub now has reaction, I invite you to use it instead of +1