Beamer writer: avoid duplicated fragile property in some cases.

Closes #5208.
This commit is contained in:
John MacFarlane 2019-01-09 08:36:04 -08:00
parent 253f342a80
commit 7e481d73cf

View file

@ -471,7 +471,9 @@ elementToBeamer slideLevel (Sec lvl _num (ident,classes,kvs) tit elts)
"b", "c", "t", "environment",
"label", "plain", "shrink", "standout",
"noframenumbering"]
let optionslist = ["fragile" | fragile && isNothing (lookup "fragile" kvs)] ++
let optionslist = ["fragile" | fragile
, isNothing (lookup "fragile" kvs)
, "fragile" `notElem` classes] ++
[k | k <- classes, k `elem` frameoptions] ++
[k ++ "=" ++ v | (k,v) <- kvs, k `elem` frameoptions]
let options = if null optionslist