octave-bug-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Octave-bug-tracker] [bug #60556] Editor fonts suddenly changed


From: Markus Mützel
Subject: [Octave-bug-tracker] [bug #60556] Editor fonts suddenly changed
Date: Sat, 8 May 2021 15:24:56 -0400 (EDT)
User-agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/90.0.4430.93 Safari/537.36 Edg/90.0.818.51

Update of bug #60556 (project octave):

                  Status:               Confirmed => Ready For Test         

    _______________________________________________________

Follow-up Comment #4:

Thanks for pointing that out.

I must have done something wrong that I ended up at the other changeset.

I pushed a change that restores it for me here (stupid copy-paste error):
https://hg.savannah.gnu.org/hgweb/octave/rev/0562777c015f

Marking as ready for test.


    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?60556>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]