[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #58109] Editor: highlighted/selected text remo
|
From: |
cn0 |
|
Subject: |
[Octave-bug-tracker] [bug #58109] Editor: highlighted/selected text removed on focus change |
|
Date: |
Mon, 6 Apr 2020 08:40:28 -0400 (EDT) |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:74.0) Gecko/20100101 Firefox/74.0 |
Follow-up Comment #3, bug #58109 (project octave):
Hello, submitter here. The patch would be much appreciated.
I can build a patched version on OBS [1], no problem. This would include all
opensuse specific flags and patches as well.
For a vanilla build, I'd have to try, never did one before.
[1] build.opensuse.org
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?58109>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/