void256/nifty-gui — pull request #35 by odyssomay (2012-07-04 15:30:03+00:00)
Title: Console border problem fix

There's a problem with the border in the default console style; the border will be cut off when the scrollbar is activated.

The upper picture shows how it looks with this fix, the lower is the default style.