#912 Right margin is not visible

closed-fixed
5
2011-08-11
2011-08-08
Anonymous
No

The right margin never appears. I've tried turning it on/off, changing the color, changing the location (120, 80, 70), trying the latest stable and development Windows exe versions of Dr. Java, as well as the July 27 .jar version. The right margin guide quite simply has never appeared.

Discussion

  • Mathias Ricken
    Mathias Ricken
    2011-08-08

    Thanks for pointing this out. We've had a regression somewhere. I haven't found it yet, though.

     
  • Mathias Ricken
    Mathias Ricken
    2011-08-08

    • status: open --> open-accepted
     
  • Mathias Ricken
    Mathias Ricken
    2011-08-11

    • assigned_to: nobody --> mgricken
    • status: open-accepted --> closed-fixed