diff --git a/designer/main.ui b/designer/main.ui index 52b8a987e..c1ae2f78c 100644 --- a/designer/main.ui +++ b/designer/main.ui @@ -702,11 +702,14 @@ Ad&vanced - - + + + + + @@ -1323,6 +1326,16 @@ &Delete Fact + + + Cache LaTeX + + + + + Uncache LaTeX + +