diff options
| author | Loïc Hoguin <[email protected]> | 2019-01-23 16:51:44 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2019-02-18 12:36:54 +0100 |
| commit | 77e83d0757d56d15f4b1bc70044b89d3eaf48b2b (patch) | |
| tree | 9be4420f60e7f97de0ea3481fc44a92707959132 /lib/observer/src/observer_tv_wx.erl | |
| parent | c0f1b4ebb0a532d90a1da18144dff7a645d83220 (diff) | |
| download | otp-77e83d0757d56d15f4b1bc70044b89d3eaf48b2b.tar.gz otp-77e83d0757d56d15f4b1bc70044b89d3eaf48b2b.tar.bz2 otp-77e83d0757d56d15f4b1bc70044b89d3eaf48b2b.zip | |
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 814f3a1260..247b3e869f 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), |