Jan-Erik Rediger 6951e7774c make it non-resizable		2024-10-29 21:04:28 +01:00
texttools.py	import texttools, python version	2024-10-29 19:27:45 +01:00
texttools.tcl	make it non-resizable	2024-10-29 21:04:28 +01:00