It would be nice if node.module::node_page() passed the pager data to the theme for processing instead of just printing it. That way themes could change the style of the pager (see Google) or hide it.

Comments

dries’s picture

dries commented

In Drupal HEAD, the theme has control over the pager.

Anonymous’s picture

(not verified) commented