Hide editor icons when editor is not a notebook (#12934)#12935
Merged
DonJayamanne merged 1 commit intorelease-2020.07from Jul 14, 2020
Merged
Hide editor icons when editor is not a notebook (#12934)#12935DonJayamanne merged 1 commit intorelease-2020.07from
DonJayamanne merged 1 commit intorelease-2020.07from
