projects
/
matthijs
/
projects
/
wipi.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
* Show the search box to logged in users.
[matthijs/projects/wipi.git]
/
plugin
/
theme
/
exodus.py
diff --git
a/plugin/theme/exodus.py
b/plugin/theme/exodus.py
index e5d854d5e75d6c3f985158e5559c545ac48401f7..479a258c31c52ce7858eaddbe5fb070f30b3904b 100644
(file)
--- a/
plugin/theme/exodus.py
+++ b/
plugin/theme/exodus.py
@@
-18,6
+18,12
@@
class Theme(ThemeBase):
else:
return ''
else:
return ''
+ def searchform(self, d):
+ if self.request.user.valid:
+ return ThemeBase.searchform(self, d)
+ else:
+ return ''
+
def header(self, d, **kw):
""" Assemble wiki header
def header(self, d, **kw):
""" Assemble wiki header
@@
-32,7
+38,7
@@
class Theme(ThemeBase):
# Header
u'<div id="header">',
#self.logo(),
# Header
u'<div id="header">',
#self.logo(),
-
#
self.searchform(d),
+ self.searchform(d),
#self.username(d),
u'<div id="locationline">',
#self.interwiki(d),
#self.username(d),
u'<div id="locationline">',
#self.interwiki(d),