|
From: | Philip Nienhuis |
Subject: | [Octave-bug-tracker] [bug #48292] dbstop marker obscures bookmarks |
Date: | Fri, 22 Jul 2016 21:21:35 +0000 (UTC) |
User-agent: | Mozilla/5.0 (Windows NT 6.1; WOW64; rv:43.0) Gecko/20100101 Firefox/43.0 SeaMonkey/2.40 |
Follow-up Comment #1, bug #48292 (project octave): I found that his patch apparently fixes another bug as well: namely that it was not possible (at least for me on 4.0.2 in Windows) to toggle a dbstop marker on bookmarked lines. I think this patch can be pushed. I'll cc Rik, maybe he lets me do it. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?48292> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |