setSelectedProver :: ListBox String
                  -> ProofState
                  -> IO ()
setSelectedProver lb st = do
    let ind = case selectedProver st of
              Just sp -> elemIndex sp $ Map.keys (proversMap st)
              Nothing -> Nothing
    maybe (return ()) (\ i -> selection i lb >> return ()) ind

-- *** Callbacks

{- |
   Updates the display of the status of the selected goals.
-}
setSelectedProver :: ListBox String
                  -> ProofState
                  -> IO ()
setSelectedProver lb st = do
    let ind = case selectedProver st of
              Just sp -> elemIndex sp $ Map.keys (proversMap st)
              Nothing -> Nothing
    maybe (return ()) (\ i -> selection i lb >> return ()) ind

-- *** Callbacks

{- |
   Updates the display of the status of the selected goals.
-}
setSelectedProver lb st = do
    let ind = case selectedProver st of
              Just sp -> elemIndex sp $ Map.keys (proversMap st)
              Nothing -> Nothing
    maybe (return ()) (\ i -> selection i lb >> return ()) ind

-- *** Callbacks

{- |
   Updates the display of the status of the selected goals.
-}