id Resolution Summary Owner Reporter 77 wontfix """Add bookmark"" feature" ktk guest 225 fixed """Ignore margins"" should stick across sessions" Silvan Scherrer herwigb 248 feedback 1.3.5 prints only garbage ataylor