changeset 65 | 9f92e3aed442 |
parent 64 | 8857ff1fb4f3 |
child 79 | a7d0fff4bef0 |
64:8857ff1fb4f3 | 65:9f92e3aed442 |
---|---|
1 ! To update db after edit run: |
1 ! To update db after edit run: |
2 ! $ xrdb -merge ~/.Xdefaults |
2 ! $ xrdb -merge ~/.Xdefaults |
3 |
3 |
4 ! Useful font name: |
4 ! Useful font name: |
5 ! 5x7, 5x8, 6x9, 6x10, 6x12, 7x13, 7x14, 9x15, 8x16, 10x20, 12x24 |
5 ! 4x6, 5x7, 5x8, 6x9, 8x9, 6x10, 5x12, 6x12, 7x12, 8x12, 16x12, 6x13, 7x13, 8x13, 7x14, 9x15, 8x16, 12x16, 9x18, 10x18, 10x20, 12x24 |
6 |
6 |
7 emacs.font: 7x13 |
7 emacs.font: 7x13 |
8 emacs21.font: 7x13 |
8 emacs21.font: 7x13 |
9 emacs22.font: 7x13 |
9 emacs22.font: 7x13 |
10 emacs23.font: 7x13 |
10 emacs23.font: 7x13 |