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

these are the changes to remove cockpit support from ace (or add it in if reversed)

Browse source
This commit is contained in:
Joe Walker 2011-01-12 17:35:39 +00:00
commit 15e1dbf17b
3 changed files with 3 additions and 19 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Makefile.dryice.js
View file

@ -120,7 +120,7 @@ copy({
source: [ source: [
'demo/mini_require.js', 'demo/mini_require.js',
pilot, pilot,
cockpit, // cockpit,
ace, ace,
'demo/build_boot.js' 'demo/build_boot.js'
], ],

18
build/editor.html
View file

@ -6,21 +6,7 @@
<title>Editor</title> <title>Editor</title>
<style type="text/css" media="screen"> <style type="text/css" media="screen">
body { overflow: hidden; } body { overflow: hidden; }
#editor { position: absolute; top: 0; bottom: 27px; left: 0; right: 0; } #editor { position: absolute; top: 0; bottom: 0; left: 0; right: 0; }
#cockpitInput {
position: absolute; height: 20px; bottom: 0; left: 0; right: 0;
font-size: 90%; width: 100%;
font-family: Consolas, Inconsolata, Courier New, monospace;
}
#cockpitOutput {
padding: 10px;
margin: 0 15px;
border: 1px solid #AAA;
-moz-border-radius-topleft: 10px;
-moz-border-radius-topright: 10px;
border-top-left-radius: 4px; border-top-right-radius: 4px;
background: #DDD; color: #000;
}
</style> </style>
</head> </head>
<body> <body>
@ -31,8 +17,6 @@
} }
}</div> }</div>
<input id="cockpitInput" type="text"/>
<script src="ace-uncompressed.js" type="text/javascript" charset="utf-8"></script> <script src="ace-uncompressed.js" type="text/javascript" charset="utf-8"></script>
<script> <script>
document.addEventListener("DOMContentLoaded", function() { document.addEventListener("DOMContentLoaded", function() {

2
demo/build_boot.js
View file

@ -40,7 +40,7 @@ var deps = [ "pilot/fixoldbrowsers", "pilot/plugin_manager", "pilot/settings",
require(deps, function() { require(deps, function() {
var catalog = require("pilot/plugin_manager").catalog; var catalog = require("pilot/plugin_manager").catalog;
catalog.registerPlugins([ "pilot/index", "cockpit/index" ]); catalog.registerPlugins([ "pilot/index" ]);
}); });
var ace = { var ace = {