Carlos Castillo

icon indicating a website link https://chato.cl/

icon company ICREA and UPF icon location Barcelona, Spain icon location ICREA Research Professor at UPF, embarked in a lifelong inquiry into how computer science can contribute to addressing issues of social significance.

Results 2 comments of Carlos Castillo

Option to hide/remove log entry in statusbar

As a comment to this, I found the red "stop-sign" and red number zero shown when there are zero errors distracting. If there are zero errors, is is unnecessary to...

Option to hide/remove log entry in statusbar

Compare how linter shows there are zero errors (left) to how latex shows there are zero errors (right): ![image](https://user-images.githubusercontent.com/1716961/47005319-c9901380-d133-11e8-8bab-4530f96829ea.png)