Edgewall Software

Ticket #4309: quickjump_explicit_r5237.diff

File quickjump_explicit_r5237.diff, 0.5 KB (added by Waldemar Kornewald <wkornewald>, 21 months ago)

with this patch you have to prepend a search with '!' in order to do the quickjump. otherwise you do a normal search

  • trac/search/web_ui.py

     
    160160 
    161161    def _check_quickjump(self, req, kwd): 
    162162        noquickjump = int(req.args.get('noquickjump', '0')) 
     163        if noquickjump == 0 and kwd[0] == '!': 
     164            kwd = kwd[1:] 
     165        else: 
     166            noquickjump = 1 
    163167        # Source quickjump 
    164168        quickjump_href = None 
    165169        if kwd[0] == '/':