Post Menu-title and original page title on page

Hi everyone,

I’ve got a question about the title display.
The menu widget allows to set a different title for the page in the menu that the actual page title. Really neat feature.

So now I’m wondering how I could access and also print out the the ‘menu widget title’ on the page plus the actual page title.
I hope this makes sense 😉 let me know if this is unclear.

For example the setup is like this:
Menu widget:
page: short title
on the page itself: Long title

in my page/single template i display the title like so:

<h1 class="entry-title"><?php the_title(); ?></h1>

Is there a function the would get me the menu title?
like: get_menu_title() ?

Thanks for any input!