[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-patch-tracker] [patch #8656] Variable Editor (expanded from Patc
From: |
Philip Nienhuis |
Subject: |
[Octave-patch-tracker] [patch #8656] Variable Editor (expanded from Patch #8316) |
Date: |
Fri, 14 Aug 2015 20:51:09 +0000 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:36.0) Gecko/20100101 Firefox/36.0 SeaMonkey/2.33 |
Follow-up Comment #31, patch #8656 (project octave):
(Hi Michael, nice to hear back from you)
Tried your latest patch:
- Applies cleanly to very recent development tip
- Alternating row colors item in prefs cannot be selected (grayed out)
- Row height is large IMO, could take less real estate. Autosize as well?
- Same for icons. I have been searching around where icon size is set in the
other panes but haven't pinpointed it down (there's an icon size pref in the
first General prefs tab).
The previous patch:
- shows character strings as char arrays (one char per cell)
- sometimes has trouble showing var.name and size on the pane.
Anyway nice!
I have a Windows (cross-)build for 64bit Octave (not: 64-bit indexing) in my
dropbox. I'm building a new one now, once its finished and uploaded I'll send
you the link (hopefully Sat. morning).
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/patch/?8656>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
- [Octave-patch-tracker] [patch #8656] Variable Editor (expanded from Patch #8316), Philip Nienhuis, 2015/08/09
- [Octave-patch-tracker] [patch #8656] Variable Editor (expanded from Patch #8316), anonymous, 2015/08/12
- [Octave-patch-tracker] [patch #8656] Variable Editor (expanded from Patch #8316), anonymous, 2015/08/12
- [Octave-patch-tracker] [patch #8656] Variable Editor (expanded from Patch #8316),
Philip Nienhuis <=
- [Octave-patch-tracker] [patch #8656] Variable Editor (expanded from Patch #8316), Philip Nienhuis, 2015/08/15
- [Octave-patch-tracker] [patch #8656] Variable Editor (expanded from Patch #8316), anonymous, 2015/08/19
- [Octave-patch-tracker] [patch #8656] Variable Editor (expanded from Patch #8316), Philip Nienhuis, 2015/08/21
- [Octave-patch-tracker] [patch #8656] Variable Editor (expanded from Patch #8316), Philip Nienhuis, 2015/08/21
- [Octave-patch-tracker] [patch #8656] Variable Editor (expanded from Patch #8316), Philip Nienhuis, 2015/08/21
- [Octave-patch-tracker] [patch #8656] Variable Editor (expanded from Patch #8316), Philip Nienhuis, 2015/08/23
- [Octave-patch-tracker] [patch #8656] Variable Editor (expanded from Patch #8316), Philip Nienhuis, 2015/08/24
- [Octave-patch-tracker] [patch #8656] Variable Editor (expanded from Patch #8316), Philip Nienhuis, 2015/08/25
- [Octave-patch-tracker] [patch #8656] Variable Editor (expanded from Patch #8316), anonymous, 2015/08/26
- [Octave-patch-tracker] [patch #8656] Variable Editor (expanded from Patch #8316), Philip Nienhuis, 2015/08/26