On 1/3/2019 3:47 PM, Igal Sapir wrote:
<snip/> I added a dropdown to the menu with an icon "A" that opens up a slider that lets you choose a font size (12px, 16, 20).
I actually changed it so it's more granular ATM - 12 through 20px with step 1.
Opening the Console tab in the browser's Developer Tools shows the font size.
Igal --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
