Add resizing of math font

Author	DaveJarvis <email>
Date	2023-01-24 12:20:27 GMT-0800
Commit	5682f0b4058ed1d9e8908a3e1a002f801439e1ac
Parent	f11f4b3
Delta	11 lines added, 2 lines removed, 9-line increase

src/main/resources/com/keenwrite/messages.properties

		workspace.ui.font.preview.mono.size.desc=Monospace font size.
		workspace.ui.font.preview.mono.size.title=Points
		+workspace.ui.font.math=Math Font
		+workspace.ui.font.math.size.title=Scale

		workspace.language=Language

src/main/java/com/keenwrite/preferences/PreferencesController.java

		Setting.of( title( KEY_UI_FONT_PREVIEW_MONO_SIZE ),
		doubleProperty( KEY_UI_FONT_PREVIEW_MONO_SIZE ) )
		+ ),
		+ Group.of(
		+ get( KEY_UI_FONT_MATH ),
		+ Setting.of( title( KEY_UI_FONT_MATH_SIZE ),
		+ doubleProperty( KEY_UI_FONT_MATH_SIZE ) )
		)
		),

		}

		- @SuppressWarnings( "SameParameterValue" )
		private IntegerProperty integerProperty( final Key key ) {
		return mWorkspace.integerProperty( key );
		}

		- @SuppressWarnings( "SameParameterValue" )
		private DoubleProperty doubleProperty( final Key key ) {
		return mWorkspace.doubleProperty( key );

src/main/java/com/keenwrite/preferences/Workspace.java

		asDoubleProperty( FONT_SIZE_PREVIEW_MONO_SIZE_DEFAULT )
		),
		+ entry(
		+ KEY_UI_FONT_MATH_SIZE,
		+ asDoubleProperty( FONT_SIZE_MATH_DEFAULT )
		+ ),

		entry( KEY_UI_WINDOW_X, asDoubleProperty( WINDOW_X_DEFAULT ) ),