[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #62984] Option to set 'current line highlight
From: |
Philip Nienhuis |
Subject: |
[Octave-bug-tracker] [bug #62984] Option to set 'current line highlight color' for Editor has disappeared since 7.x |
Date: |
Sun, 16 Oct 2022 13:01:35 -0400 (EDT) |
Follow-up Comment #15, bug #62984 (project octave):
Looks good now Torsten, thanks very much.
Initially I had trouble finding the actual color setting; I searched above in
the Editor setting screen next to the "highlight current line setting" but
the actual color is chosen much lower, near all the color settings.
Maybe this can be improved at some later time, but ATM I find it good enough.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?62984>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
- [Octave-bug-tracker] [bug #62984] Option to set 'current line highlight color' for Editor has disappeared since 7.x, Markus Mützel, 2022/10/14
- [Octave-bug-tracker] [bug #62984] Option to set 'current line highlight color' for Editor has disappeared since 7.x, Torsten Lilge, 2022/10/14
- [Octave-bug-tracker] [bug #62984] Option to set 'current line highlight color' for Editor has disappeared since 7.x, Torsten Lilge, 2022/10/15
- [Octave-bug-tracker] [bug #62984] Option to set 'current line highlight color' for Editor has disappeared since 7.x, Torsten Lilge, 2022/10/15
- [Octave-bug-tracker] [bug #62984] Option to set 'current line highlight color' for Editor has disappeared since 7.x, Torsten Lilge, 2022/10/15
- [Octave-bug-tracker] [bug #62984] Option to set 'current line highlight color' for Editor has disappeared since 7.x,
Philip Nienhuis <=
- [Octave-bug-tracker] [bug #62984] Option to set 'current line highlight color' for Editor has disappeared since 7.x, Torsten Lilge, 2022/10/17
- [Octave-bug-tracker] [bug #62984] Option to set 'current line highlight color' for Editor has disappeared since 7.x, Philip Nienhuis, 2022/10/17
- [Octave-bug-tracker] [bug #62984] Option to set 'current line highlight color' for Editor has disappeared since 7.x, Philip Nienhuis, 2022/10/25
- [Octave-bug-tracker] [bug #62984] Option to set 'current line highlight color' for Editor has disappeared since 7.x, Nicholas Jankowski, 2022/10/25