|
From: | Richard Shann |
Subject: | [Denemo-devel] [bug #25724] patch to avoid crash when a staff is deleted |
Date: | Sat, 28 Feb 2009 09:29:47 +0000 |
User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.8.0.14eol) Gecko/20070505 (Debian-1.8.0.15~pre080614i-0etch1) Epiphany/2.14 |
Update of bug #25724 (project denemo): Severity: 3 - Normal => 4 - Important Status: None => Fixed Assigned to: None => rshann Open/Closed: Open => Closed _______________________________________________________ Follow-up Comment #1: Fixing in draw.c has the disadvantage that draw may not be called (e.g. in scripts). I have fixed it in the scroll bar code. Thank you for drawing attention to this important bug - how long has it been there I wonder? It was sensitive to the size of the window you are using, so perhaps people used larger windows to see all the staffs at once. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?25724> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |