2 commits

Author	SHA1	Message	Date
Jose Ivan Vargas	407d563844	Fix up Web IDE user preference copy and buttons	2018-01-11 08:23:44 +00:00
Jose Ivan Vargas	0a35f372d2	Added multi editor setting on the profile preferences page	2018-01-04 18:31:05 +00:00