network profile
| bio | website | tcsavage.org |
|---|---|---|
| location | Portsmouth, United Kingdom | |
| age | 21 | |
| visits | member for | 2 years, 9 months |
| seen | Feb 15 '11 at 14:23 | |
| stats | profile views | 9 |
Final year computer science student and the University of Portsmouth and Haskell enthusiast.
Research interests include functional languages, software verification and 3D graphics.
|
Feb 13 |
awarded | Notable Question |
|
Mar 9 |
awarded | Popular Question |
|
Aug 25 |
comment |
wp_nav_menu() custom container and container_id Ah ok. For the time being I'll just output the menu to a string and use good old str_replace to make it work. |
|
Aug 25 |
awarded | Student |
|
Aug 25 |
revised |
wp_nav_menu() custom container and container_id added 222 characters in body |
|
Aug 25 |
awarded | Editor |
|
Aug 25 |
revised |
wp_nav_menu() custom container and container_id added 155 characters in body |
|
Aug 25 |
comment |
wp_nav_menu() custom container and container_id Curiously, if I change menu_class it alters the div's class (I expected the div to be the container) but changing menu_id does nothing. |
|
Aug 25 |
comment |
wp_nav_menu() custom container and container_id This is a fresh install of Wordpress 3.0.1. No plugins or strange confuguration. The only thing I've changed is the theme. |
|
Aug 25 |
comment |
wp_nav_menu() custom container and container_id Thanks for the answer but wp_nav_menu(array('container_id' => 'topnav' )); still won't work right.
Looking at this post (not the Codex) justintadlock.com/archives/2010/06/01/… where it explains the parameters: "container: The element that wraps around the list. The default is div but can be changed to nav if you’ve moved on to HTML 5." |
|
Aug 25 |
asked | wp_nav_menu() custom container and container_id |
|
Aug 25 |
awarded | Autobiographer |
