save workspace names properly with the new Configuration class.
authorDana Jansens <danakj@orodu.net>
Sun, 26 May 2002 20:51:12 +0000 (20:51 +0000)
committerDana Jansens <danakj@orodu.net>
Sun, 26 May 2002 20:51:12 +0000 (20:51 +0000)
commit59cea4f2d3a7ff6723b120fb52a8958ef036537e
tree4e9919de17599376a56aacd7333761e7f5177d28
parent0305cbdc3ae8525c74b2bb9b23884035549e3407
save workspace names properly with the new Configuration class.
src/Screen.cc
src/Workspace.cc