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

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

[Octave-patch-tracker] [patch #9993] Property inspector GUI


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/




reply via email to

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