diff options
author | Dan Gudmundsson <[email protected]> | 2019-02-18 12:41:09 +0100 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2019-02-18 12:41:09 +0100 |
commit | 2174af8288bc5d8c6b7f39daf7a61dcb63a53118 (patch) | |
tree | a813592fdbd18344d92f9ddc0084656905907161 /lib/observer/src/observer_tv_wx.erl | |
parent | d89ac6959f8f5c9f8d4960f84e23e34e9da25323 (diff) | |
parent | 1fc95bdd084d9e43e255a1962dbb562a2e1aa367 (diff) | |
download | otp-2174af8288bc5d8c6b7f39daf7a61dcb63a53118.tar.gz otp-2174af8288bc5d8c6b7f39daf7a61dcb63a53118.tar.bz2 otp-2174af8288bc5d8c6b7f39daf7a61dcb63a53118.zip |
Merge branch 'maint'
* maint:
Add OBSERVER_SCALE environment variable for HiDPI support
Diffstat (limited to 'lib/observer/src/observer_tv_wx.erl')
-rw-r--r-- | lib/observer/src/observer_tv_wx.erl | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/lib/observer/src/observer_tv_wx.erl b/lib/observer/src/observer_tv_wx.erl index dfd19569fd..9743a6ed42 100644 --- a/lib/observer/src/observer_tv_wx.erl +++ b/lib/observer/src/observer_tv_wx.erl @@ -87,12 +87,13 @@ init([Notebook, Parent, Config]) -> wxListCtrl:setColumnWidth(Grid, Col, DefSize), Col + 1 end, - ListItems = [{"Table Name", ?wxLIST_FORMAT_LEFT, 200}, - {"Objects", ?wxLIST_FORMAT_RIGHT, 100}, - {"Size (kB)", ?wxLIST_FORMAT_RIGHT, 100}, - {"Owner Pid", ?wxLIST_FORMAT_CENTER, 150}, - {"Owner Name", ?wxLIST_FORMAT_LEFT, 200}, - {"Table Id", ?wxLIST_FORMAT_LEFT, 250} + Scale = observer_wx:get_scale(), + ListItems = [{"Table Name", ?wxLIST_FORMAT_LEFT, Scale*200}, + {"Objects", ?wxLIST_FORMAT_RIGHT, Scale*100}, + {"Size (kB)", ?wxLIST_FORMAT_RIGHT, Scale*100}, + {"Owner Pid", ?wxLIST_FORMAT_CENTER, Scale*150}, + {"Owner Name", ?wxLIST_FORMAT_LEFT, Scale*200}, + {"Table Id", ?wxLIST_FORMAT_LEFT, Scale*250} ], lists:foldl(AddListEntry, 0, ListItems), wxListItem:destroy(Li), |