Jan-Erik Rediger 80e0ebdd2e bind escape to exit		2024-11-03 11:49:30 +01:00
texttools.py	import texttools, python version	2024-10-29 19:27:45 +01:00
texttools.tcl	bind escape to exit	2024-11-03 11:49:30 +01:00