diff options
| author | fluxgen <fluxgen> | 2002-10-15 16:34:14 (GMT) |
|---|---|---|
| committer | fluxgen <fluxgen> | 2002-10-15 16:34:14 (GMT) |
| commit | 04d58f1c2db4a192cd034f11876afab3267a0eb1 (patch) | |
| tree | 63d778dc8e5f42999ed7c55eaaad906e9ff0e0d9 /src/Workspacemenu.cc | |
| parent | a295efad66fc508a772732f74183d8fa66086f8a (diff) | |
| download | fluxbox_pavel-04d58f1c2db4a192cd034f11876afab3267a0eb1.zip fluxbox_pavel-04d58f1c2db4a192cd034f11876afab3267a0eb1.tar.bz2 | |
fallback on fixed if the font before was loaded but the new one couldnt load it
Diffstat (limited to 'src/Workspacemenu.cc')
0 files changed, 0 insertions, 0 deletions