This would actually be very difficult, as the editor is
actually just a Java text box, and would have to be totally
re-written. However, there is already a feature for jumpingo
to a line ..
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Logged In: YES
user_id=129364
This would actually be very difficult, as the editor is
actually just a Java text box, and would have to be totally
re-written. However, there is already a feature for jumpingo
to a line ..