diff options
| author | Dan Gudmundsson <[email protected]> | 2019-02-18 12:37:23 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2019-02-18 12:37:23 +0100 |
| commit | 1fc95bdd084d9e43e255a1962dbb562a2e1aa367 (patch) | |
| tree | 0eaf5423b445b45ed7982161b3ea8379e5d2f9a9 /lib/observer/src/observer_pro_wx.erl | |
| parent | e25fe1d35209d321a512091018a78ee9b7cc0b64 (diff) | |
| parent | 77e83d0757d56d15f4b1bc70044b89d3eaf48b2b (diff) | |
| download | otp-1fc95bdd084d9e43e255a1962dbb562a2e1aa367.tar.gz otp-1fc95bdd084d9e43e255a1962dbb562a2e1aa367.tar.bz2 otp-1fc95bdd084d9e43e255a1962dbb562a2e1aa367.zip | |
Merge branch 'pr/2105' into maint
* pr/2105:
Add OBSERVER_SCALE environment variable for HiDPI support
OTP-15586
Diffstat (limited to 'lib/observer/src/observer_pro_wx.erl')
| -rw-r--r-- | lib/observer/src/observer_pro_wx.erl | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/lib/observer/src/observer_pro_wx.erl b/lib/observer/src/observer_pro_wx.erl index 04e654a37e..4ab4a78462 100644 --- a/lib/observer/src/observer_pro_wx.erl +++ b/lib/observer/src/observer_pro_wx.erl @@ -163,13 +163,14 @@ create_list_box(Panel, Holder) -> wxListCtrl:setColumnWidth(ListCtrl, Col, DefSize), Col + 1 end, - ListItems = [{"Pid", ?wxLIST_FORMAT_CENTRE, 120}, - {"Name or Initial Func", ?wxLIST_FORMAT_LEFT, 200}, -%% {"Time", ?wxLIST_FORMAT_CENTRE, 50}, - {"Reds", ?wxLIST_FORMAT_RIGHT, 100}, - {"Memory", ?wxLIST_FORMAT_RIGHT, 100}, - {"MsgQ", ?wxLIST_FORMAT_RIGHT, 50}, - {"Current Function", ?wxLIST_FORMAT_LEFT, 200}], + Scale = observer_wx:get_scale(), + ListItems = [{"Pid", ?wxLIST_FORMAT_CENTRE, Scale*120}, + {"Name or Initial Func", ?wxLIST_FORMAT_LEFT, Scale*200}, +%% {"Time", ?wxLIST_FORMAT_CENTRE, Scale*50}, + {"Reds", ?wxLIST_FORMAT_RIGHT, Scale*100}, + {"Memory", ?wxLIST_FORMAT_RIGHT, Scale*100}, + {"MsgQ", ?wxLIST_FORMAT_RIGHT, Scale*50}, + {"Current Function", ?wxLIST_FORMAT_LEFT, Scale*200}], lists:foldl(AddListEntry, 0, ListItems), wxListItem:destroy(Li), |