Improved font selection in design editor

The font selection drop down in the design editor is now improved. Previously, it used to get stuck when you would change fonts successively. Now it is better and robust.