documentation and cleaned up todos

TODO

@@ -2,9 +2,6 @@ user-interface bugs:
   * shortcut Ctrl-P (reparsing) is not visible in Menu
 
 code improvements:
-  * remove dependency on glade since it is deprecated
-  * Add module descriptions (haddock)
-  * rename type SrcLocation to SrcSpan
   * NodeType could also be a boolean 'isIdentifier'
   * add tests for languages haskell and python. more general:
     how to test your newly defined language?
@@ -16,12 +13,8 @@ feature requests:
     somehow use the position information, e.g. jump to erroneous position
   * open/close all subtrees
   * generate pdf/png graphs from trees or terms
-  * manual parser selection (adjust documentation of Language)
   * flag to disable flattening lists of chars to one node?
     (not sure if this is really useful)
-  * propagate source locations to successors: i.e. nodes "Ident" are annotated
-    with a src loc, but their successor in the ast (the actual ident value) is not
-    annotated with a location. Can this be generalized?
   * implement searching idents and operations (in the ast)
   * display of raw ast could be valuable
   * when jumping to a path the other trees should be collapsed

src/core/Language/Astview/Language.hs

@@ -59,10 +59,9 @@ newtype Ast = Ast { ast :: Tree AstNode }
 
 -- |A value of 'Language' states how files (associated with this language by
 -- their file extentions 'exts') are being parsed.
--- The file extentions of all languages known to astview may not overlap, since
--- a language is selected by the extention of the currently opened file.
--- A future release of astview should support manual language selection and thus
--- making the restriction obsolete.
+-- The file extentions of all languages known to astview may overlap, since
+-- a language can be manually selected in the menu. For perfect automatic
+-- language detection the extentions need to be disjoint.
 data Language = Language
   { name :: String -- ^ language name
   , syntax :: String