Bartosz Wróblewski
Bartosz Wróblewski
Right, do you foresee a problem with _closing_ the file early, in the exception branch? That was basically the other quick fix I considered.
Closing the file before we attempt to unlink it -- if there is an error. Code talks better than descriptions, so I guess later today I'll just revert this, make...
I/O statistics would be pretty handy, and I wouldn't mind giving a hand there - but if we're going to be adding lots of possibly optional information, the file format...
So, I started some initial work on being able to read the profiling file as it is being written, and it's actually not too bad - the only thing we'd...
I tried changing the pygments style, opening a .py file for reference, but when I use meta+s, I get a prompt with a list of styles, type one of the...
Sure, I'll add one in the evening.
(Also, isn't it possible to basically overwrite splash.properties with your own version, that specifies enabled=false?)
I don't think I have any more, my needs are simple, it's just that my OCD is strong. ;) If I had to reach for something, I'd remove the "loading"...
Great, sounds exactly like what I want.
Oooh, shiny! Got it, tested, seems to be working just as advertised. :)