Sebastian Spaeth bd6fe97746 Shorten Workbench(Manager) method names
1) destroy_self() is a horrible function name, make it "destroy".
workbench.destroy() is descriptive enough.

2) WorkbenchManager.create_workbench() -> WorkbenchManager.create()
  We use the pattern "with workbench_manager.create() as workbench:"
  No need to mention workbenches three times in a row...

Signed-off-by: Sebastian Spaeth <Sebastian@SSpaeth.de>
2013-01-16 20:19:25 +01:00
..
2013-01-07 11:44:29 +01:00
2013-01-07 11:44:29 +01:00
2013-01-15 14:49:50 +01:00
2012-12-25 20:06:03 +01:00
2012-10-23 01:10:46 +02:00
2013-01-07 11:44:29 +01:00
2012-02-02 09:44:13 -06:00
2012-12-21 09:08:52 -06:00
2013-01-15 16:52:22 +01:00
2012-02-02 09:44:13 -06:00
2012-02-02 09:44:13 -06:00
2012-12-25 20:06:03 +01:00
2012-12-23 12:26:34 +01:00
2013-01-07 11:44:29 +01:00