diff options
| author | hjk <[email protected]> | 2019-07-22 15:17:47 +0200 |
|---|---|---|
| committer | hjk <[email protected]> | 2019-07-24 06:50:34 +0000 |
| commit | e23664cc42ce707db479b74d082b885648ee02c1 (patch) | |
| tree | f26aa5273f52895f15802b1b3312088358357310 /src/plugins/baremetal/defaultgdbserverprovider.h | |
| parent | c52c857076f5113c00be3f52aae9f6574885792a (diff) | |
TextEditor: Privatize BaseHoverHandler::decorateToolTip()
Never overridden, and does not look safe to invoke more than once.
Change-Id: If5f3830f3fbf26badb6335443defd628c05cf65a
Reviewed-by: Michael Weghorn <[email protected]>
Reviewed-by: David Schulz <[email protected]>
Diffstat (limited to 'src/plugins/baremetal/defaultgdbserverprovider.h')
0 files changed, 0 insertions, 0 deletions