1. 2017-12-30 [ jEdit-devel ] [jedit:bugs] #4054 hash comment highl jedit-dev Roman Tsourick via 2. 2017-11-28 [ jEdit-devel ] [jedit:bugs] #4054 hash comment highl jedit-dev Roman Tsourick via 3. 2017-11-28 [ jEdit-devel ] [jedit:bugs] #4054 hash comment highl jedit-dev Roman Tsourick via