With the last revision I fixed an issue, where wp_page_menu() got the class sf-menu permanently. Plugin and Widget Developers suffered from headaches because of that. To get rid of this issue I had to change the way Thematic called wp_page_menu().

The old call:

wp_page_menu('sort_column=menu_order')

And the new call:

echo thematic_add_menuclass(wp_page_menu(thematic_page_menu_args()));

The parameter echo changed from TRUE to FALSE.

If you use the standard procedure as described in the sample child theme to add a ‘Home’-link to your menu, your menu will come up without any styling. To fix this behavior you need to remove the parameter echo from your function. It should look like this to work with the latest SVN revision:

function childtheme_menu_args($args) {
	$args = array(
		'show_home' => 'Home',
		'sort_column' => 'menu_order',
		'menu_class' => 'menu',
		'echo' => false
	);
	return $args;
}
add_filter('wp_page_menu_args','childtheme_menu_args', 20);

If you use wp_page_menu() in other locations than the header and you need Superfish, make sure that you use the above mentioned call

echo thematic_add_menuclass(wp_page_menu(thematic_page_menu_args()));

To switch the menu to wp_nav_menu() use the following PHP snippet in your child theme’s functions.php:

function change_menu_type() {
	return 'wp_nav_menu';
}
add_filter('thematic_menu_type', 'change_menu_type');

Credits: Thomas Misund