Improve expander in wxPropertyGrid (PR #25579)

44 views
Skip to first unread message

Maarten

unread,
Jun 26, 2025, 8:11:14 AMJun 26
to wx-...@googlegroups.com, Subscribed
  • Make wxPropertyGrid a wxSystemThemedControl so it uses the default expander
  • Don't use hard-coded expander sizes in wxPropertyGrid so the expander gets the correct size, fixes #25571
  • Improve margin of sub-groups in wxPropertyGrid so the expander does not overlap with the margin

You can view, comment on, or merge this pull request online at:

  https://github.com/wxWidgets/wxWidgets/pull/25579

Commit Summary

  • d0ed9ee Make wxPropertyGrid a wxSystemThemedControl
  • 7c667d4 Don't use hard-coded expander sizes in wxPropertyGrid
  • 3281b72 Improve margin of sub-groups in wxPropertyGrid

File Changes

(2 files)

Patch Links:


Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.Message ID: <wxWidgets/wxWidgets/pull/25579@github.com>

Maarten

unread,
Jun 26, 2025, 9:41:01 AMJun 26
to wx-...@googlegroups.com, Push

@MaartenBent pushed 1 commit.


View it on GitHub or unsubscribe.
You are receiving this because you are subscribed to this thread.Message ID: <wxWidgets/wxWidgets/pull/25579/before/3281b726e752c8f08018cd0514b8ae063fe15c53/after/5bdd02a164a7147f6b7673108982ed33e8c469f6@github.com>

Maarten

unread,
Jun 26, 2025, 12:57:21 PMJun 26
to wx-...@googlegroups.com, Subscribed
MaartenBent left a comment (wxWidgets/wxWidgets#25579)

I haven't tested if this looks correctly on linux/macOS.


Reply to this email directly, view it on GitHub, or unsubscribe.

You are receiving this because you are subscribed to this thread.Message ID: <wxWidgets/wxWidgets/pull/25579/c3009134695@github.com>

VZ

unread,
Jun 26, 2025, 7:24:46 PMJun 26
to wx-...@googlegroups.com, Subscribed
vadz left a comment (wxWidgets/wxWidgets#25579)

Unfortunately this doesn't look great under Linux (wxGTK, 200% DPI): this is how it looks in master:

image.png (view on web)

and this is how it looks with this PR:

image.png (view on web)

The arrows are clearly scaled, but now they also have too big margins around them. Can this be easily fixed (I didn't look at the code at all to be honest)?


Reply to this email directly, view it on GitHub, or unsubscribe.

You are receiving this because you are subscribed to this thread.Message ID: <wxWidgets/wxWidgets/pull/25579/c3010603004@github.com>

Maarten

unread,
Jul 3, 2025, 6:18:01 PMJul 3
to wx-...@googlegroups.com, Subscribed
MaartenBent left a comment (wxWidgets/wxWidgets#25579)

The arrows are clearly scaled, but now they also have too big margins around them. Can this be easily fixed (I didn't look at the code at all to be honest)?

It now uses the image width (16dip px I guess), and left and right of the image a 'gutter' of max(3, imagewidth/3). Previously it was a fix image with of 9 px.
Maybe the gutter size can be reduced. I'll try some things.


Reply to this email directly, view it on GitHub, or unsubscribe.

You are receiving this because you are subscribed to this thread.Message ID: <wxWidgets/wxWidgets/pull/25579/c3033828381@github.com>

VZ

unread,
Sep 2, 2025, 5:43:25 PM (5 days ago) Sep 2
to wx-...@googlegroups.com, Subscribed
vadz left a comment (wxWidgets/wxWidgets#25579)

Sorry, this is not urgent at all but I wanted to ask if you still plan to try something here or should I find some way to reduce the margins myself?


Reply to this email directly, view it on GitHub, or unsubscribe.

You are receiving this because you are subscribed to this thread.Message ID: <wxWidgets/wxWidgets/pull/25579/c3246895843@github.com>

Maarten

unread,
Sep 2, 2025, 8:27:11 PM (5 days ago) Sep 2
to wx-...@googlegroups.com, Push

@MaartenBent pushed 4 commits.

  • 1e4b962 Make wxPropertyGrid a wxSystemThemedControl
  • 942fcf8 Don't use hard-coded expander sizes in wxPropertyGrid
  • bbcd97d Improve margin of sub-groups in wxPropertyGrid
  • 9b6b49e Reduce wxPropertyGrid gutter width


View it on GitHub or unsubscribe.
You are receiving this because you are subscribed to this thread.Message ID: <wxWidgets/wxWidgets/pull/25579/before/810fb9a4c10f0994d9d8fa01f7445e8b8462b61e/after/9b6b49eb52ecfdcdc20d82dceb8d52a20eac1d97@github.com>

Maarten

unread,
Sep 2, 2025, 8:29:16 PM (5 days ago) Sep 2
to wx-...@googlegroups.com, Subscribed
MaartenBent left a comment (wxWidgets/wxWidgets#25579)

I committed a fix. Seems the gutter is mostly useless now after using the real size of the expander icons.


Reply to this email directly, view it on GitHub, or unsubscribe.

You are receiving this because you are subscribed to this thread.Message ID: <wxWidgets/wxWidgets/pull/25579/c3247233794@github.com>

VZ

unread,
Sep 6, 2025, 2:37:15 PM (20 hours ago) Sep 6
to wx-...@googlegroups.com, Subscribed
vadz left a comment (wxWidgets/wxWidgets#25579)

Great, thanks a lot! Will merge soon.


Reply to this email directly, view it on GitHub, or unsubscribe.

You are receiving this because you are subscribed to this thread.Message ID: <wxWidgets/wxWidgets/pull/25579/c3262969807@github.com>

VZ

unread,
Sep 6, 2025, 3:21:32 PM (19 hours ago) Sep 6
to wx-...@googlegroups.com, Subscribed

Merged #25579 into master.


Reply to this email directly, view it on GitHub, or unsubscribe.

You are receiving this because you are subscribed to this thread.Message ID: <wxWidgets/wxWidgets/pull/25579/issue_event/19546809966@github.com>

Reply all
Reply to author
Forward
0 new messages