![Avatar](https://secure.gravatar.com/avatar/1b283dfae38386e0969764c1142d6123.jpg?s=64&d=identicon&r=g)
Hi,
One of my users is reporting a problem with indentation, when using the special font "Proggy Clean". I'm not sure whether or not this will happen with other fonts than that, or if it's a problem related to the specific font. You may see a screenshot of how the indentation looks, with indentationguides, here: http://img183.imageshack.us/img183/6579/indentationproblempj5.gif
Is this a bug or what?
One of my users is reporting a problem with indentation, when using the special font "Proggy Clean". I'm not sure whether or not this will happen with other fonts than that, or if it's a problem related to the specific font. You may see a screenshot of how the indentation looks, with indentationguides, here: http://img183.imageshack.us/img183/6579/indentationproblempj5.gif
Is this a bug or what?