ui: Add a space between profiled numbers and units, to allow for easier word-extent...
commit7a9bbed760559ace4f0bb5e02edf621d6179797a
authordhilvert <dhilvert@auricle.dyndns.org>
Tue, 24 Oct 2006 04:56:00 +0000 (24 04:56 +0000)
committerdhilvert <dhilvert@auricle.dyndns.org>
Tue, 24 Oct 2006 04:56:00 +0000 (24 04:56 +0000)
tree78395f0452e8616f67e84aba10b91cc79ecad4fb
parent7ea80413b8e508e4319e252205f2f8e03fc2182d
ui: Add a space between profiled numbers and units, to allow for easier word-extent mouse selection.

darcs-hash:20061024045646-789c2-912545b1fdcb9a33020d8e23dd73327fa1dd95f3.gz
ui/ui.h