Merge pull request #3993 from leoetlino/signal-message DolphinWX: Print a message when a signal is received