Reload files changed outside of juCi++

[insunaa]

When a file is changed outside of juCi++ the only way I found to reload the file was to close its tab in juCi++ and double click it in the tree view. Is it possible to add a menu-point / key-combo to reload the document that currently has the cursor?

If there already is one, I couldn't find it, if so, is it possible to make it more visible / obvious? Like for example putting a clickable label in the notification:

Caution: juci.cc was altered outside of juCi++ Click here to reload it

[insunaa]

This is what I came up with:
insunaa@a1a0d92
I don't know if

Notebook::get().close_current();

is the right way to go and it probably needs to make sure that a warning flashes if you have unsaved changes. Some other things probably too but I can't think of them

Edit: derp. still has the debug std::cout<< in... I'll delete it in the next commit.
removed the offending part in this commit: insunaa@2fbf275

Edit2: Warning appears properly.

[eidheim]

Thank you again, but sadly I'm quite busy till Tuesday and will not be able to look at new features till then (only have time for potential bugfixes).

[insunaa]

Sure. It's not urgent ;)

Edit: If you want, I can just PR the commits I've made in my fork.