editorWidget.border fixed#141
Merged
arcticicestudio merged 1 commit intonordtheme:developfrom Jul 20, 2019
chris78er:chris78er-patch-2
Merged
editorWidget.border fixed#141arcticicestudio merged 1 commit intonordtheme:developfrom chris78er:chris78er-patch-2
arcticicestudio merged 1 commit intonordtheme:developfrom
chris78er:chris78er-patch-2