diff options
| author | Eike Ziller <[email protected]> | 2025-05-06 13:49:40 +0200 |
|---|---|---|
| committer | Eike Ziller <[email protected]> | 2025-06-06 13:43:32 +0000 |
| commit | a8a6f911cb1794b897aecdfd3006897e9424b9de (patch) | |
| tree | 58756840281056a40ab3d4b7b5e620751a37aec5 /src/libs/utils/terminalcommand.h | |
| parent | f8c7837c3b2c0be0a411a05e80e58283c7880749 (diff) | |
a18b33d5a1a16a8e22a3771e3c18ce3ca735eba5 got rid of a cast from
TextEditorWidget to PlainTextEdit.
Using TextEditorWidget directly gets rid of another cast that casts that
PlainTextEdit back to TextEditorWidget.
Change-Id: Ib287c19188e7f86be8d0a7f6b630e4473d7d906e
Reviewed-by: David Schulz <[email protected]>
Diffstat (limited to 'src/libs/utils/terminalcommand.h')
0 files changed, 0 insertions, 0 deletions