jyapayne/ace
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

minor tweaks

Browse source
This commit is contained in:
Joe Walker 2010-12-02 10:59:19 +00:00
commit b44e8c83b6
2 changed files with 4 additions and 46 deletions
Download patch file Download diff file Expand all files Collapse all files

48
plugins/pilot/lib/commands/settings.js
View file

@ -37,57 +37,18 @@
define(function(require, exports, module) {
/**
* Something of a hack to allow the set command to give a clearer definition
* of the type to the command line.
*/
var valueDeferredType = {
name: "deferred",
undeferType: function(typeSpec, env) {
var assignments = typeSpec.assignments;
var replacement = 'text';
if (assignments) {
// Find the assignment for 'setting' so we can get it's value
var settingAssignment = null;
assignments.forEach(function(assignment) {
if (assignment.param.name === 'setting') {
settingAssignment = assignment;
}
});
if (settingAssignment) {
var settingName = settingAssignment.value;
if (settingName && settingName !== '') {
var settingExt = settings[settingName];
if (settingExt) {
replacement = settingExt.type;
}
}
}
}
return replacement;
}
};
var setCommandSpec = {
name: "set",
params: [
{
name: "setting",
type: {
name: "selection",
getOptions: function(env) {
return env.settings.getSettingNames();
}
},
type: "setting",
description: "The name of the setting to display or alter",
defaultValue: null
},
{
name: "value",
type: valueDeferredType,
type: "settingValue",
description: "The new value for the chosen setting",
defaultValue: null
}
@ -139,10 +100,7 @@ var unsetCommandSpec = {
params: [
{
name: "setting",
type: {
name: "selection",
pointer: "settings:index#getSettings"
},
type: "setting",
description: "The name of the setting to return to defaults"
}
],

2
plugins/pilot/lib/event_emitter.js
View file

@ -37,7 +37,7 @@
define(function(require, exports, module) {
var lang = require("pilot/lang").lang;
var lang = require('pilot/lang').lang;
var EventEmitter = {};