I'm trying to check if the current node (of a specific content type) has been added to a menu (using the "Provide a menu link" in the node edit GUI).
if it has, I need to set a variable in .theme.inc, using THEME_preprocess_page
.
I've been digging through drupal.org docs and found those two questions find Menu Settings of node, given URL alias (or node ID) and Get menu item of a node seem relevant but not quite right.