Comment Comment by g1236627 This is indeed an annoying problem. Please either decrease the font size or use 2 or 4 space indentation (without mixing tabs and spaces) or just steal some space from the sides. parent g1236627 11 years ago