Attachment 'theme.patch'

Download

   1 diff -r f992fed6e94a MoinMoin/theme/__init__.py
   2 --- a/MoinMoin/theme/__init__.py	Sun Dec 06 00:29:33 2009 +0100
   3 +++ b/MoinMoin/theme/__init__.py	Mon Dec 07 18:38:28 2009 +0100
   4 @@ -461,12 +461,13 @@
   5          if request.cfg.navi_bar:
   6              for text in request.cfg.navi_bar:
   7                  pagename, link = self.splitNavilink(text)
   8 -                if pagename == current:
   9 -                    cls = 'wikilink current'
  10 -                else:
  11 -                    cls = 'wikilink'
  12 -                items.append(item % (cls, link))
  13 -                found[pagename] = 1
  14 +                if Page(request, pagename).exists() and self.request.user.may.read(pagename):
  15 +                    if pagename == current:
  16 +                        cls = 'wikilink current'
  17 +                    else:
  18 +                        cls = 'wikilink'
  19 +                    items.append(item % (cls, link))
  20 +                    found[pagename] = 1
  21  
  22          # Add user links to wiki links, eliminating duplicates.
  23          userlinks = request.user.getQuickLinks()

Attached Files

To refer to attachments on a page, use attachment:filename, as shown below in the list of files. Do NOT use the URL of the [get] link, since this is subject to change and can break easily.
  • [get | view] (2009-12-07 17:38:35, 1.0 KB) [[attachment:theme.patch]]
 All files | Selected Files: delete move to page copy to page

You are not allowed to attach a file to this page.