Ticket #4309: quickjump_explicit_r5237_colon.diff

trac/search/web_ui.py

@@ -90 +90 @@
         data['query'] = query
         if query:
             data['quickjump'] = self._check_quickjump(req, query)
-            if query.startswith('!'):
+            if query.startswith(':'):
                 query = query[1:]
             terms = self._get_search_terms(query)
 
@@ -160 +160 @@
 
     def _check_quickjump(self, req, kwd):
         noquickjump = int(req.args.get('noquickjump', '0'))
+        if noquickjump == 0 and kwd[0] == ':':
+            kwd = kwd[1:]
+        else:
+            noquickjump = 1
         # Source quickjump
         quickjump_href = None
         if kwd[0] == '/':