[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: |
Mon, 17 Oct 2022 15:06:19 -0400 (EDT) |
Follow-up Comment #17, bug #62984 (project octave):
> Would it be helpful to have a short hint at the "highlight current line"
checkbox
Might be a good idea, yet with some persistence the actual location can be
found. I suppose my search action stemmed from reminiscences of where it used
to be located, IOW a personal thing.
_______________________________________________________
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, 2022/10/16
- [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 <=
- [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