Re: [Django] #10068: Search box at top of the page on doc site

2011-01-31 Thread Django
#10068: Search box at top of the page on doc site
---+
   Reporter:  phoebebright | Owner:  jacob  
 
 Status:  closed   | Milestone: 
 
  Component:  Django Web site  |   Version:  1.0
 
 Resolution:  fixed|  Keywords:  
search,documentation
   Triage Stage:  Accepted | Has patch:  0  
 
Needs documentation:  0|   Needs tests:  0  
 
Patch needs improvement:  0|  
---+
Changes (by jacob):

  * status:  assigned => closed
  * resolution:  => fixed


Comment:

 Fixed in recent pushes (thanks to Justin Lilly).

-- 
Ticket URL: 
Django 
The Web framework for perfectionists with deadlines.

-- 
You received this message because you are subscribed to the Google Groups 
"Django updates" group.
To post to this group, send email to django-updates@googlegroups.com.
To unsubscribe from this group, send email to 
django-updates+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/django-updates?hl=en.



Re: [Django] #10068: Search box at top of the page on doc site

2009-04-04 Thread Django
#10068: Search box at top of the page on doc site
--+-
  Reporter:  phoebebright | Owner:  jacob   
Status:  assigned | Milestone:  
 Component:  Django Web site  |   Version:  1.0 
Resolution:   |  Keywords:  search,documentation
 Stage:  Accepted | Has_patch:  0   
Needs_docs:  0|   Needs_tests:  0   
Needs_better_patch:  0|  
--+-
Changes (by jacob):

  * owner:  nobody => jacob
  * status:  new => assigned
  * milestone:  1.1 =>

-- 
Ticket URL: 
Django 
The Web framework for perfectionists with deadlines.
--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Django updates" group.
To post to this group, send email to django-updates@googlegroups.com
To unsubscribe from this group, send email to 
django-updates+unsubscr...@googlegroups.com
For more options, visit this group at 
http://groups.google.com/group/django-updates?hl=en
-~--~~~~--~~--~--~---



Re: [Django] #10068: Search box at top of the page on doc site

2009-02-27 Thread Django
#10068: Search box at top of the page on doc site
--+-
  Reporter:  phoebebright | Owner:  nobody  
Status:  new  | Milestone:  1.1 
 Component:  Django Web site  |   Version:  1.0 
Resolution:   |  Keywords:  search,documentation
 Stage:  Accepted | Has_patch:  0   
Needs_docs:  0|   Needs_tests:  0   
Needs_better_patch:  0|  
--+-
Changes (by jacob):

  * needs_better_patch:  => 0
  * needs_docs:  => 0
  * stage:  Unreviewed => Accepted
  * needs_tests:  => 0
  * milestone:  => 1.1

-- 
Ticket URL: 
Django 
The Web framework for perfectionists with deadlines.
--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Django updates" group.
To post to this group, send email to django-updates@googlegroups.com
To unsubscribe from this group, send email to 
django-updates+unsubscr...@googlegroups.com
For more options, visit this group at 
http://groups.google.com/group/django-updates?hl=en
-~--~~~~--~~--~--~---



[Django] #10068: Search box at top of the page on doc site

2009-01-19 Thread Django
#10068: Search box at top of the page on doc site
--+-
 Reporter:  phoebebright  |   Owner:  nobody
   Status:  new   |   Milestone:
Component:  Django Web site   | Version:  1.0   
 Keywords:  search,documentation  |   Stage:  Unreviewed
Has_patch:  0 |  
--+-
 It's a small thing, but as a new django user I spend an awful lot of time
 searching the documentation for stuff.  The search bar is after the
 contents on the right so I have to scroll down a variable amount of screen
 to use it.  Any chance of having at the top somewhere?

-- 
Ticket URL: 
Django 
The Web framework for perfectionists with deadlines.
--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Django updates" group.
To post to this group, send email to django-updates@googlegroups.com
To unsubscribe from this group, send email to 
django-updates+unsubscr...@googlegroups.com
For more options, visit this group at 
http://groups.google.com/group/django-updates?hl=en
-~--~~~~--~~--~--~---