Refresh menu labels upon switching editors