From 50f88e256b33d57ab2038b166d7d4e618fd95f3a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Uwe=20St=C3=B6hr?= <uwestoehr@lyx.org>
Date: Sat, 8 Dec 2012 20:10:14 +0100
Subject: [PATCH] svcommon.inc, theorems-without-preamble.inc: correction from
 previous commit

- svcommon.inc, theorems-without-preamble.inc: better naming of the optional argument, no overwriting necessary
---
 lib/layouts/svcommon.inc                  | 30 -----------------------
 lib/layouts/theorems-without-preamble.inc |  4 +--
 2 files changed, 2 insertions(+), 32 deletions(-)

diff --git a/lib/layouts/svcommon.inc b/lib/layouts/svcommon.inc
index 30f465035d..1271804573 100644
--- a/lib/layouts/svcommon.inc
+++ b/lib/layouts/svcommon.inc
@@ -632,36 +632,6 @@ Style Svgraybox
 	EndFont
 End
 
-# overwrite the label for the optional argument defined in
-# theorems-without-preamble.inc
-Style Theorem
-	Argument 1
-	  LabelString	"Name/Title"
-	  Tooltip	"Name/Title"
-	EndArgument
-End
-
-Style Definition
-	Argument 1
-	  LabelString	"Name/Title"
-	  Tooltip	"Name/Title"
-	EndArgument
-End
-
-Style Problem
-	Argument 1
-	  LabelString	"Name/Title"
-	  Tooltip	"Name/Title"
-	EndArgument
-End
-
-Style Solution
-	Argument 1
-	  LabelString	"Name/Title"
-	  Tooltip	"Name/Title"
-	EndArgument
-End
-
 Style Proof
 	Category	Theorem
 	LatexType	Environment
diff --git a/lib/layouts/theorems-without-preamble.inc b/lib/layouts/theorems-without-preamble.inc
index 347d2eabb7..667f6fb4bb 100644
--- a/lib/layouts/theorems-without-preamble.inc
+++ b/lib/layouts/theorems-without-preamble.inc
@@ -38,8 +38,8 @@ Style Theorem
 	LatexName	theorem
 	NextNoIndent	1
 	Argument 1
-	  LabelString	"Alternative Theorem String"
-	  Tooltip	"Alternative theorem string"
+	  LabelString	"Name/Title"
+	  Tooltip	"Alternative optional name or title"
 	EndArgument
 	LabelSep	xx
 	ParIndent	MMM