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_tv_table.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_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), |