Why not add the option to in/decrease the font size with the +/- keys to the boot menu? And/or PgUP/Down or Up/Down arrow. Last resort: 9 & 0 are the last unused numbers in the boot menu. -- =|o) "Stell' Dir vor es geht und keiner kriegt's hin." (Wolfgang Neuss)Received on Wed Feb 17 2021 - 02:51:27 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:41:27 UTC