diff options
| author | Ville Penttinen <[email protected]> | 2019-03-05 19:59:01 +0000 |
|---|---|---|
| committer | Ville Penttinen <[email protected]> | 2019-03-05 19:59:01 +0000 |
| commit | 9063dabcca0aaaa6d8bb3364cee21fd68023a059 (patch) | |
| tree | ea85c8abd5ba57f0120556987a1c8cc5c6eae19d /.gitignore | |
| parent | ab288a32f9a95e3ca5e9e42f9c6f59bb3849f26e (diff) | |
Send an actual ShowMessage instead of InternalFeedback in feedback()
This now allows us to send a notification that can be shown in the UI when the
workspace has been loaded.
Additionally this removes the need for internal_mode flag.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions