]> git.lyx.org Git - features.git/commitdiff
Label tag should default to div for "top environment" labels.
authorRichard Heck <rgheck@comcast.net>
Wed, 15 Sep 2010 14:23:32 +0000 (14:23 +0000)
committerRichard Heck <rgheck@comcast.net>
Wed, 15 Sep 2010 14:23:32 +0000 (14:23 +0000)
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@35394 a592a061-630c-0410-9148-cb99ea01b6c8

lib/doc/Customization.lyx
lib/layouts/stdstruct.inc
src/Layout.cpp

index 747d2369e6f6e0f73d4bf00f15ffb6ea237b8657..0cdfa07abf0867cd01fd23de1dcfe75ec92542b5 100644 (file)
@@ -1,5 +1,5 @@
 #LyX 2.0.0svn created this file. For more info see http://www.lyx.org/
-\lyxformat 398
+\lyxformat 400
 \begin_document
 \begin_header
 \textclass scrbook
@@ -101,6 +101,7 @@ End
 \use_amsmath 0
 \use_esint 0
 \use_mhchem 1
+\use_mathdots 1
 \cite_engine basic
 \use_bibtopic false
 \use_indices false
@@ -16955,6 +16956,46 @@ span
 
 \end_inset
 
+, unless 
+\begin_inset Flex CharStyle:Code
+status collapsed
+
+\begin_layout Plain Layout
+LabelType
+\end_layout
+
+\end_inset
+
+ is either 
+\begin_inset Flex CharStyle:Code
+status collapsed
+
+\begin_layout Plain Layout
+Top_Environment
+\end_layout
+
+\end_inset
+
+ or 
+\begin_inset Flex CharStyle:Code
+status collapsed
+
+\begin_layout Plain Layout
+Centered_Top_Environment
+\end_layout
+
+\end_inset
+
+, in which case it defaults to 
+\begin_inset Flex CharStyle:Code
+status collapsed
+
+\begin_layout Plain Layout
+div
+\end_layout
+
+\end_inset
+
 .
 \end_layout
 
index 0eb7a1918f7d946f9d9d686bc78723ec2598127d..f3349f64353469d1d25327a39b136976d72ed4ba 100644 (file)
@@ -33,7 +33,6 @@ Style Abstract
          Series              Bold
          Size                Large
        EndFont
-       HTMLLabel             div
        HTMLLabelFirst        1
        HTMLForceCSS          1
        HTMLStyle
index 9a75637331dfb1c609785dd63650607ce9ff47aa..83bd6086870072c245cc756f52e2114f18ba3eab 100644 (file)
@@ -957,8 +957,13 @@ string const & Layout::htmlitemattr() const
 
 string const & Layout::htmllabeltag() const 
 { 
-       if (htmllabeltag_.empty())
-               htmllabeltag_ = "span";
+       if (htmllabeltag_.empty()) {
+               if (labeltype != LABEL_TOP_ENVIRONMENT &&
+                   labeltype != LABEL_CENTERED_TOP_ENVIRONMENT)
+                       htmllabeltag_ = "span";
+               else
+                       htmllabeltag_ = "div";
+       }
        return htmllabeltag_; 
 }