Closed GoogleCodeExporter closed 9 years ago
I'm not sure about it. I like it as it is now. Also the new fold margin color
isn't very distinctive either. I'll have to think about it, but I don't promise
that I will commit it (at least not until I find something which is more
distinctive but not too much)
Original comment by XhmikosR
on 10 May 2011 at 7:18
Original comment by XhmikosR
on 16 May 2011 at 3:23
Marked as WontFix for now since I prefer it the way it is.
Original comment by XhmikosR
on 31 Oct 2011 at 12:27
Original issue reported on code.google.com by
sun2...@gmail.com
on 8 May 2011 at 7:28Attachments: