fix GUI style element for default theme#2604

Merged

Rokt33r merged 1 commit intoBoostIO:masterfrom

arcturus140:fixGUI

Nov 25, 2018

Commits on Nov 12, 2018

fix GUI style element for default theme
arcturus140
committed