git.openbox.org Git - mikachu/openbox.git/commit

author	Dana Jansens <danakj@orodu.net>
	Sun, 14 Jul 2002 20:54:03 +0000 (20:54 +0000)
committer	Dana Jansens <danakj@orodu.net>
	Sun, 14 Jul 2002 20:54:03 +0000 (20:54 +0000)
commit	90dbcb271c5e6d7ca73c19a519b93885b833db0a
tree	df98b2ed99b8dd6546be1d7d03221ee6d54e6ea4	tree \| snapshot
parent	c6a826bf663d3cb286025642f5e2a725b5d1c660	commit \| diff

properly handle workspace names, and changes to them.

Openbox Window Manager