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_table.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_table.erl')
| -rw-r--r-- | lib/observer/src/observer_tv_table.erl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/observer/src/observer_tv_table.erl b/lib/observer/src/observer_tv_table.erl index d6dcee2cda..7bd67a0f0b 100644 --- a/lib/observer/src/observer_tv_table.erl +++ b/lib/observer/src/observer_tv_table.erl @@ -99,7 +99,8 @@ init([Parent, Opts]) -> ets -> "TV Ets: " ++ Title0; mnesia -> "TV Mnesia: " ++ Title0 end, - Frame = wxFrame:new(Parent, ?wxID_ANY, Title, [{size, {800, 600}}]), + Scale = observer_wx:get_scale(), + Frame = wxFrame:new(Parent, ?wxID_ANY, Title, [{size, {Scale * 800, Scale * 600}}]), IconFile = filename:join(code:priv_dir(observer), "erlang_observer.png"), Icon = wxIcon:new(IconFile, [{type,?wxBITMAP_TYPE_PNG}]), wxFrame:setIcon(Frame, Icon), |