Permalink
Browse files

now with a shell look ;)

  • Loading branch information...
1 parent 02fe03e commit 4db1fedded469e232c8f339327ad4723a12a52ca Henri Binsztok committed Dec 16, 2011
Showing with 12 additions and 3 deletions.
  1. +12 −3 editable.opa
View
@@ -70,20 +70,29 @@ function focus(set) {
#status = "Focus: {set}";
}
+shell = "web: login $ ";
+
newLine =
WBootstrap.Typography.header(1, none,
+ <span>{shell}</span>
<span id="precaret" style="margin-right: 0px; border-right:thick double #ff0000;"></span>
<span id="postcaret" style="margin-left: 0px; padding-left: 0px;"></span>
)
function addLine(f) {
expr = "{Dom.get_content(#precaret)}{Dom.get_content(#postcaret)}";
- element = WBootstrap.Message.make(
- {alert: {title: f(expr), description: <>{expr}</>}, closable: true}, {info}
+ // element = WBootstrap.Message.make(
+ // {alert: {title: f(expr), description: <>{expr}</>}, closable: true}, {info}
+ // );
+ element = WBootstrap.Typography.header(1, none,
+ <div>
+ <span>{shell}</span>
+ <span>{expr}</span>
+ </div>
+ <div>{f(expr)}</div>
);
#inputs =+ element;
#editor = newLine;
-
}
function loader(_) {

0 comments on commit 4db1fed

Please sign in to comment.