2017-01-12 13:56 GMT+01:00 Arash Esbati <[email protected]>: > I have only one question reg. the placement of logo: Does it > make sence to put the logo in the banner? Idea is attached.
I already tried that last year, but didn't like it too much, because I think it makes the header too high (or we should shrink the logo thumbnail). BTW, suggestions are welcome from anyone (including comments on Arash's proposal). Volunteers willing to refresh the screenshots page are encouraged ;-) Bye, Mosè _______________________________________________ auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/auctex
