From d9b9840ccedb74e0069904a8914761269a856a95 Mon Sep 17 00:00:00 2001 From: Damien Elmes Date: Tue, 23 Dec 2008 18:42:47 +0900 Subject: [PATCH] update ui file for advanced menu --- designer/main.ui | 17 +++++++++++++++-- 1 file changed, 15 insertions(+), 2 deletions(-) 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 + +