[Frontend-GNOME] Hide "Open Log" tool button for remote engines
[Frontend-GNOME] Make "Open Log" tool button insensitive if there is no log file