Menu

#126 SrcEdit: increase Undo Levels

open
None
3
2008-03-22
2004-01-31
John Wilund
No

Maké 'Undo Levels' a preference setting.

Discussion

  • John Wilund

    John Wilund - 2006-01-29
    • milestone: 355803 -->
     
  • John Wilund

    John Wilund - 2008-03-22
    • priority: 5 --> 3
    • assigned_to: nobody --> johwil
     

Log in to post a comment.