Ville Penttinen 9063dabcca 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.
2019-03-05 21:59:01 +02:00
..
2019-03-02 16:56:09 +03:00
2019-02-18 16:43:16 +03:00
2019-03-05 10:26:36 -05:00
2019-03-05 10:26:36 -05:00
2019-03-05 10:26:36 -05:00
2019-03-05 10:26:36 -05:00
2019-03-03 20:33:50 +01:00
2019-02-19 20:06:53 +03:00
2019-02-21 13:45:10 +03:00