change doctype check
rewrite closeEvent
add another check in savePageBeforeClose
add another check in savePageBeforeClose
add highlighter from pygments module
rewrite updateTextEdit function