rename cockpit -> gcli

This commit is contained in:
Joe Walker 2011-04-07 14:19:09 +01:00
commit 45a7be6b43
11 changed files with 30 additions and 30 deletions

View file

@ -39,7 +39,7 @@ require({
paths: {
demo: "../demo",
ace: "../lib/ace",
cockpit: "../support/cockpit/lib/cockpit",
gcli: "../support/cockpit/lib/gcli",
pilot: "../support/cockpit/support/pilot/lib/pilot"
}
});
@ -54,11 +54,11 @@ var deps = [
require(deps, function() {
var catalog = require("ace/plugin_manager").catalog;
var plugins = [ "cockpit/index", "ace/index" ];
var plugins = [ "gcli/index", "ace/index" ];
catalog.registerPlugins(plugins).then(function() {
var env = require("ace/environment").create();
catalog.startupPlugins({ env: env }).then(function() {
var gcli = require("cockpit/index");
var gcli = require("gcli/index");
new gcli.CliView({ env: env });
require("demo/demo").launch(env);

View file

@ -42,7 +42,7 @@ define(function(require, exports, module) {
var keybinding = require('ace/keyboard/keybinding');
exports.launch = function(env) {
var gcli = require("cockpit/index");
var gcli = require("gcli/index");
var event = require("pilot/event");
var Editor = require("ace/editor").Editor;
var Renderer = require("ace/virtual_renderer").VirtualRenderer;

View file

@ -26,7 +26,7 @@ body {
width: 100%;
}
#cockpitInput {
#gcliInput {
position: absolute;
width: 100%;
bottom: 0;
@ -36,7 +36,7 @@ body {
font-size: 120%;
}
#cockpitOutput {
#gcliOutput {
margin: 0 15px;
border: 1px solid #AAA;
-moz-border-radius-topleft: 10px;