"""
Zoom_In.py - A Jython macro for jEdit which increases
the font size used in the textarea.

(C) 2002 Ollie Rutherfurd <oliver@rutherfurd.net>

$Id: Zoom_In.py 65 2003-11-20 13:58:36Z oliver $
"""

FONT_SIZE='view.fontsize'
GUTTER_FONT_SIZE = "view.gutter.fontsize"
CONSOLE_FONT_SIZE = "console.fontsize"

def main():
	size = jEdit.getIntegerProperty(FONT_SIZE,12) + 1
	jEdit.setIntegerProperty(FONT_SIZE,size)
	jEdit.setIntegerProperty(GUTTER_FONT_SIZE,size)
	jEdit.setIntegerProperty(CONSOLE_FONT_SIZE,size)
	jEdit.propertiesChanged()
	jEdit.saveSettings()
	init.view.getStatus().setMessageAndClear('Font size now %d' % (size,))

if __name__ in ('__main__','main'):
	main()

# :indentSize=4:lineSeparator=\n:noTabs=false:tabSize=4: