Tobias Hänel 348d0d4622 Added missing cases for workspace event (#2656)
The possible values "rename", "reload" and "restored" of the property
'change' from the workspace event were missing. Because no events of
those types contain an old workspace, this was trivial.
2017-01-24 08:40:32 -08:00
..
2016-11-05 03:32:40 -07:00
2016-03-21 10:00:25 -07:00
2017-01-21 04:21:32 -08:00