|
From: | Remi Thebault |
Subject: | [Octave-patch-tracker] [patch #9993] Property inspector GUI |
Date: | Sun, 22 Nov 2020 11:18:11 -0500 (EST) |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:82.0) Gecko/20100101 Firefox/82.0 |
Follow-up Comment #11, patch #9993 (project octave): Thanks for your detailed review. Attached patch-5 which should address all your remarks. The settings includes row height and alternating colors. I'm a bit reluctant to add font like the variable editor did. IMO this should be more global settings and not per widget. I also save in the settings the columns sizes and splitter position (but this doesn't show in the settings dialog). I also added an icon to make the splitter handle visible. This makes more obvious to the user that the panes can be resized. (file #50314) _______________________________________________________ Additional Item Attachment: File name: property-inspector-5.patch Size:88 KB <https://file.savannah.gnu.org/file/property-inspector-5.patch?file_id=50314> _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/patch/?9993> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |