deadalnix

I can confirm this. It's pretty bad and the error points to minified js, so it's pretty much impossible to debug.

So I worked on some other formatter, and while prettier is prettier, maybe I can provide some feedback from the experience. The default we went for is indent with tabs,...

The problem is that there is no API to explicitly do these kind of things. pixel saver on set some property on the windows and let gnome to the magic....

Ha yes, I had trouble with that one in the past. The sensible thing to do is really not obvious. What do you think is a good solution to that...

@HunterGraubard You are running into a bug due a behavior change in GTK. @fxkr the problem is, there is no obvious way to fuse the title bar and the activity...

No, sadly. GTK (or is it mutter ?) changed its behavior at some point and it is not controllable.

What is this command ?

Ok I'll investigate this. Not sure what is going on.

Merged. Thanks for the reminder, I forgot about this. 2016-02-23 9:29 GMT-08:00 Stephen Coakley [email protected]: > The difference is that Atom used to use a plain minus character (-) >...

It basically means that pixel saver won't be able to restore its state 100% when unloading. It is expected when restarting the shell, and won't be a problem if you...