| changeset 189 | 67549fd0afd2 |
| parent 163 | 54c314ad989d |
| child 190 | d8941bf0a294 |
| 188:ff31eb2242c9 | 189:67549fd0afd2 |
|---|---|
1 ! To update db after edit run: |
1 ! To update db after edit run: |
2 ! $ xrdb -merge ~/.Xdefaults |
2 ! $ xrdb -merge ~/.Xdefaults |
3 ! To get list of loaded resources: |
|
4 ! $ xrdb -query |
|
3 |
5 |
4 ! Useful font name: |
6 ! Useful font names: |
5 ! 4x6, 5x7, 5x8, 6x9, 8x9, 6x10, 5x12, 6x12, 7x12, 8x12, 16x12, 6x13, 7x13, 8x13, 7x14, 9x15, 8x16, 12x16, 9x18, 10x18, 10x20, 12x24 |
7 ! 4x6, 5x7, 5x8, 6x9, 8x9, 6x10, 5x12, 6x12, 7x12, 8x12, 16x12, 6x13, 7x13, 8x13, 7x14, 9x15, 8x16, 12x16, 9x18, 10x18, 10x20, 12x24 |
6 |
8 |
7 emacs.font: 7x13 |
9 emacs.font: 7x13 |
8 emacs21.font: 7x13 |
10 emacs21.font: 7x13 |
9 emacs22.font: 7x13 |
11 emacs22.font: 7x13 |