Tree
- Tree:
b781ff48d7290f529d67706c218335507d8191ca
- Date:
- Message:
- devdraw: hide dock in full screen mode Unfortunately this hides the dock even if it is on a different screen. We need to figure out how to tell. But this is more usable than not. Probably.
README | commits | blame |
README
# Thanks to Caerwyn Jones for preparing the dictionary # and modifying dict to handle it. # This is the Project Gutenberg original Webster's dictionary wget -O- https://9fans.github.io/plan9port/dist/pgw.tar.bz2| bunzip2| tar xf - # This is the Project Gutenberg original Roget's thesaurus wget -O- https://9fans.github.io/plan9port/dist/roget.tar.bz2| bunzip2| tar xf -