Owen Leibman 41a5b74f93 Make Default Paper Configurable
Each section currently has a hard-coded default paper of A4.
It would make sense to allow the user to set this default,
and specify it in a configuration file, just as is done
with default font name and size.
2020-04-16 23:30:27 -07:00
..
2014-03-24 07:03:41 -04:00
2019-10-01 22:43:33 +02:00
2018-12-26 11:23:43 +01:00
2020-04-16 23:30:27 -07:00
2017-07-11 01:58:54 +02:00
2017-10-23 23:05:29 +02:00
2019-01-31 01:32:00 +01:00