[Octave-bug-tracker] [bug #43214] [Editor] Highlighted text gets deleted when switching tabs

[Massimiliano Fasi]

Follow-up Comment #2, bug #43214 (project octave):

I attached a short video that demonstrates the behaviour. In fact, it happens
when I switch by clicking on another tab and clicking back (left button of the
mouse). I restore by pressing ctrl+z.

I am running Octave 4.1.0+ compiled yesterday morning with

./configure --disable-jit
make

from sources on a Linux 13.10 distribution.

(file #32084)
    _______________________________________________________

Additional Item Attachment:

File name: bug_43214.ogv                  Size:612 KB


    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?43214>

_______________________________________________
  Message posté via/par Savannah
  http://savannah.gnu.org/