I too would like to see this feature. I would also like to see support for variable-width fonts (which almost work now, except that the indentation markers on the left side are drawn in the wrong place). If I'm staring at something 8 hours a day, I sure want it to look nice! :)
I too would like to see this feature. I would also like to see support for variable-width fonts (which almost work now, except that the indentation markers on the left side are drawn in the wrong place). If I'm staring at something 8 hours a day, I sure want it to look nice! :)