|
From: | Kai Torben Ohlhus |
Subject: | [Octave-bug-tracker] [bug #57191] Ctrl-C does not work in GUI |
Date: | Fri, 8 Nov 2019 06:12:39 -0500 (EST) |
User-agent: | Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/78.0.3904.97 Safari/537.36 |
Update of bug #57191 (project octave): Severity: 3 - Normal => 2 - Minor Priority: 5 - Normal => 3 - Low Status: None => Works For Me _______________________________________________________ Follow-up Comment #1: When talking about the dev branch, please always report the output for >> __octave_config_info__ ("hg_id") ans = 959a63d1ede6 jwe recently pushed a cset for this issue: https://hg.savannah.gnu.org/hgweb/octave/rev/959a63d1ede6 Is this fixed by updating your build tree to that version? _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?57191> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |