Fixes UI overlapping in the snippet editor (bottom options)#1584
Merged
Rokt33r merged 1 commit intoBoostIO:masterfrom Mar 5, 2018
pfftdammitchris:codeeditor-snippet-options-overlapping
Merged
Fixes UI overlapping in the snippet editor (bottom options)#1584Rokt33r merged 1 commit intoBoostIO:masterfrom pfftdammitchris:codeeditor-snippet-options-overlapping
Rokt33r merged 1 commit intoBoostIO:masterfrom
pfftdammitchris:codeeditor-snippet-options-overlapping
