diff options
| author | Dan Gudmundsson <[email protected]> | 2016-04-28 07:59:24 +0200 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2016-05-02 14:54:49 +0200 |
| commit | 08ba76e919911ec5b90d0901b309f73feb7dfa44 (patch) | |
| tree | 7793470b05fb2e45bd564a7ddb96cfae0cf41e83 /lib/debugger/info | |
| parent | 7281f6b5877e12ebfdafa35b42989f5da2b7e807 (diff) | |
| download | otp-08ba76e919911ec5b90d0901b309f73feb7dfa44.tar.gz otp-08ba76e919911ec5b90d0901b309f73feb7dfa44.tar.bz2 otp-08ba76e919911ec5b90d0901b309f73feb7dfa44.zip | |
observer: Changed info text to be wxStaticText
Used to be misused wxTextCtrl's but looks better with wxStaticText, at
least on gtk we miss the posssbility to changes colours when hovering
over them.
Diffstat (limited to 'lib/debugger/info')
0 files changed, 0 insertions, 0 deletions