Gustavo Cruz 2c6735f947 Fixing the issue regarding the dropdown fonts-family and size

2013-01-08 10:41:01 -04:00

..

img

…

langs

…

editor_plugin_src.js

…

editor_plugin.js

Fixing the issue regarding the dropdown fonts-family and size

2013-01-08 10:41:01 -04:00

progress.gif

…

VariablePicker.html

…