TODOs change
No more stretching of page on ajax loading
Text file caching now take care about selected syntax - this was forgotten.