
ntzanos
-
Problem with Java and Python highligh... was created by ntzanos
Wednesday Dec 15
ticket -
Difference in height of line numbers ... was created by ntzanos
Sunday Nov 21
ticket -
Autoindenter is too eager/gets it wrong was updated by ntzanos 11:39 AM ticket
-
Python mode was created by ntzanos
Wednesday Oct 27
ticket -
Console commands for font and font size do not work was updated by ntzanos
Monday Oct 25
ticket -
Console commands for font and font size do not work was updated by ntzanos
Sunday Oct 24
ticket -
Console commands for font and font size do not work was updated by ntzanos 11:19 AM ticket
-
Console commands for font and font si... was created by ntzanos
Thursday Oct 14
ticket -
Problem with accented greek characters was created by ntzanos 07:42 PM ticket