Fix for bug 163541: let there be a page title but no primary page header.

2xr=bbaetz


git-svn-id: svn://10.0.0.236/trunk@127672 18797224-902f-48f8-a5cc-f745e15eee43
This commit is contained in:
myk%mozilla.org 2002-08-20 01:25:07 +00:00
parent ca0ffa80de
commit afeb2d971c

View File

@ -40,12 +40,21 @@
[% END %]
[% DEFAULT
h1 = title
h2 = ""
h3 = ""
bgcolor = "#ffffff"
onload = ""
%]
[%# We should be able to set the default value of the h1 variable
# to the value of the title variable using the DEFAULT directive,
# but that doesn't work if a caller sets h1 to the empty string
# to avoid h1 inheriting the value of title, since DEFAULT
# mistakenly treats empty strings as undefined and gives h1 the
# value of title anyway. To get around that problem we explicitly
# set h1's default value here only if it is undefined. %]
[% h1 = title IF !h1.defined %]
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>