ParentFull threadc_shu·True. jEdit is one of the best editors i have used. Not my default editor but i use it from time to time and install it everywhere.View on HN