aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorVille Penttinen <[email protected]>2019-03-05 19:59:01 +0000
committerVille Penttinen <[email protected]>2019-03-05 19:59:01 +0000
commit9063dabcca0aaaa6d8bb3364cee21fd68023a059 (patch)
treeea85c8abd5ba57f0120556987a1c8cc5c6eae19d /.gitignore
parentab288a32f9a95e3ca5e9e42f9c6f59bb3849f26e (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