mkws.aliasWidgetType = function(newName, oldName) {
mkws.widgetType2function[newName] = mkws.widgetType2function[oldName];
mkws.info("aliased widget-type '" + newName + "' to '" + oldName + "'");
mkws.aliasWidgetType = function(newName, oldName) {
mkws.widgetType2function[newName] = mkws.widgetType2function[oldName];
mkws.info("aliased widget-type '" + newName + "' to '" + oldName + "'");