Fixed bad plugin manager tree refresh with no board selected in editor