font size in menu bar and menus
Kostas Oikonomou via Ipe-discuss <ipe-discuss-rGrgPyRx506NN8uzcEdRPYRWq/[email protected]> Mon, 18 Mar 2019 18:33:45 -0400
| Newsgroups | gmane.comp.graphics.ipe.general |
|---|---|
| Message-ID | <[email protected]> |
SGksCgpJIGhhdmUgaXBlLTcuMi44IG9uIEZyZWVCU0QsIHVzaW5nIFF0IDUuCgpJIGNhbm5vdCBt YWtlIHRoZSBzaXplIG9mIHRoZSBmb250IHVzZWQgaW4gdGhlIG1lbnUgYmFyIG9yIG1lbnVzIGJp Z2dlciwgCml0IGxvb2tzIGxpa2UgaXQgaXMgc3R1Y2sgYXQgMTBwdC4KSW4gdGhlIHBhc3QsIGlw ZSB1c2VkIHRvIG9iZXkgdGhlIHF0IGNvbmZpZyB1dGlsaXR5IChiZSBpdCBRdCA0IG9yIFF0IAo1 KS7CoCBOb3cgaXQgaXMgaWdub3JpbmcgaXQuCgpJIGFsc28gdHJpZWQgd2hhdCBpcyBzYWlkIGlu IHByZWZzLmx1YToKCnByZWZzLnVpX3NjYWxlID0gMTIwCnByZWZzLnRvb2xiYXJfc2NhbGUgPSAx NTAKClRoZXNlIHNldHRpbmdzIGRvbid0IGhhdmUgYW55IGVmZmVjdCBlaXRoZXIuCgogwqDCoMKg IMKgwqDCoCDCoMKgwqAgwqDCoMKgIMKgwqDCoCDCoMKgwqAgwqDCoMKgIMKgwqDCoCBLb3N0YXMK X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KSXBlLWRpc2N1 c3MgbWFpbGluZyBsaXN0CklwZS1kaXNjdXNzQGxpc3RzLnNjaWVuY2UudXUubmwKaHR0cHM6Ly9t YWlsbWFuLnNjaWVuY2UudXUubmwvbWFpbG1hbi9saXN0aW5mby9pcGUtZGlzY3Vzcwo=