Fix #143: add actions to toggle different panels