theApp :: M.App St (E.TokenizedEvent [GHC.Located GHC.Token]) EditorName
theApp =
    M.App { M.appDraw = drawUI
          , M.appChooseCursor = M.showFirstCursor
          , M.appHandleEvent = appEvent
          , M.appStartEvent = return -- TODO: initial tokenization !
          , M.appAttrMap = const theMap
          }
theApp :: M.App St (E.TokenizedEvent [GHC.Located GHC.Token]) EditorName
theApp =
    M.App { M.appDraw = drawUI
          , M.appChooseCursor = M.showFirstCursor
          , M.appHandleEvent = appEvent
          , M.appStartEvent = return -- TODO: initial tokenization !
          , M.appAttrMap = const theMap
          }
theApp =
    M.App { M.appDraw = drawUI
          , M.appChooseCursor = M.showFirstCursor
          , M.appHandleEvent = appEvent
          , M.appStartEvent = return -- TODO: initial tokenization !
          , M.appAttrMap = const theMap
          }