-- | Returns the saveas-function
createSaveAs :: GInfo -> FilePath -> Maybe (IO ())
createSaveAs gi file = Just (
  do
    maybeFilePath <- fileSaveDialog file [ ("Proof", ["*.prf"])
                                         , ("All Files", ["*"])] Nothing
    case maybeFilePath of
      Just fPath -> saveProofStatus gi fPath
      Nothing -> fail "Could not save file."
  )
createSaveAs :: GInfo -> FilePath -> Maybe (IO ())
createSaveAs gi file = Just (
  do
    maybeFilePath <- fileSaveDialog file [ ("Proof", ["*.prf"])
                                         , ("All Files", ["*"])] Nothing
    case maybeFilePath of
      Just fPath -> saveProofStatus gi fPath
      Nothing -> fail "Could not save file."
  )
createSaveAs gi file = Just (
  do
    maybeFilePath <- fileSaveDialog file [ ("Proof", ["*.prf"])
                                         , ("All Files", ["*"])] Nothing
    case maybeFilePath of
      Just fPath -> saveProofStatus gi fPath
      Nothing -> fail "Could not save file."
  )