2002-04-11 03:20:38 +00:00
|
|
|
|
$set 12 #Workspacemenu
|
|
|
|
|
|
|
|
|
|
|
|
$ #WorkspacesTitle
|
2002-05-24 23:49:05 +00:00
|
|
|
|
# Arbeitspl<EFBFBD>tze
|
2002-04-11 03:20:38 +00:00
|
|
|
|
$ #NewWorkspace
|
2002-05-24 23:49:05 +00:00
|
|
|
|
# Neuer Arbeitsplatz
|
2002-04-11 03:20:38 +00:00
|
|
|
|
$ #RemoveLast
|
2002-05-24 23:49:05 +00:00
|
|
|
|
# Letzten Arbeitsplatz l<EFBFBD>schen
|
