Changeset 23736 for lang/javascript/jarminal

Timestamp:

11/15/08 01:22:52 (8 weeks ago)

Author:

drry

Message:

• fixed a regex.
  
• removed subversion properties.
  
• et cetera.
  

Location:

lang/javascript/jarminal/trunk/src

Files:

• LICENSE (modified) (1 prop)
• command/standard.js (modified) (1 prop)
• jarminal.js (modified) (10 diffs, 1 prop)
• ui/jquery/ui.jarminal.js (modified) (7 diffs, 1 prop)

lang/javascript/jarminal/trunk/src/jarminal.js

@@ -1 +1 @@
 /**
  * Jarminal
- * 
+ *
  * JavaScript Shell tool
  * used jQuery UI Dialog or other UI
@@ -21 +21 @@
         options : {},
         scope : {
-            history : [{name : 'window', obj: window}],
-            down : function(name ,obj){
+            history : [{name : 'window', obj : window}],
+            down : function(name, obj){
                 this.history.push({name : name, obj : obj});
             },
@@ -28 +28 @@
                 this.history.pop();
             },
-            change : function(name ,obj){
+            change : function(name, obj){
                 this.history = [{name : name, obj : obj}];
             },
@@ -74 +74 @@
                 this.UI.create();
             }
-            this.UI.opened ? this.UI.close()  : this.UI.open()  ;
+            this.UI.opened ? this.UI.close() : this.UI.open();
         },
 
         input : function(str){
-            
+
             var args = [];
-            var match =  str.match(/(["']?)((?:\\.|[^\\])*?)\1(?:\s+|$)/g);   //"])) syntax color
-            
+            var match = str.match(/(["']?)((?:\\.|[^\\])*?)\1(?:\s+|$)/g);    //"])) syntax color
+
             for(var i=0,l=match.length; i<l; i++){
                 var arg = match[i].replace(/^\s+|\s+$/g, '');
@@ -93 +93 @@
             var request = new this.Request({
                 input : str
-            })
+            });
             if(this._command.list[command]){
                 request.merge({
@@ -127 +127 @@
             }
         }),
-    
+
         init : new Jsob({
             initialize : function(){
                 this.setEvent();
-            }},{
-            setEvent : ['later' , function(){
+            }}, {
+            setEvent : ['later', function(){
                 jQuery(document.body).dblclick(function (){
-                    jarminal.show.apply(jarminal,arguments);
+                    jarminal.show.apply(jarminal, arguments);
                 });
             }]
@@ -158 +158 @@
         dragStop    : new Jsob(),
         //ui input area focu & blur
-        focus   : new Jsob(),
-        blur    : new Jsob()
+        focus       : new Jsob(),
+        blur        : new Jsob()
     };
 
@@ -183 +183 @@
         //get input text from UI
         input       : function(){},
-        //reset input text 
+        //reset input text
         resetInput  : function(){},
         //set input text
@@ -230 +230 @@
      * TODO : output plugin file
      */
-    Jarminal.prototype._command={
+    Jarminal.prototype._command = {
         defaults : {},
         create : function(){
@@ -253 +253 @@
     // Version 0.2
     // Copyright (c) 2005-2007 KOSEKI Kengo
-    // 
+    //
     // This script is distributed under the MIT licence.
     // http://www.opensource.org/licenses/mit-license.php
-    
-    function Selection(textareaElement) {
+
+    function Selection(textareaElement){
         this.element = textareaElement;
     }
-    
-    Selection.prototype.create = function() {
-        if (document.selection != null && this.element.selectionStart == null) {
+
+    Selection.prototype.create = function(){
+        if(document.selection != null && this.element.selectionStart == null){
             return this._ieGetSelection();
-        } else {
+        }else{
             return this._mozillaGetSelection();
         }
-    }
-    
-    Selection.prototype._mozillaGetSelection = function() {
-        return { 
-            start: this.element.selectionStart, 
-            end: this.element.selectionEnd 
+    };
+
+    Selection.prototype._mozillaGetSelection = function(){
+        return {
+            start : this.element.selectionStart,
+            end   : this.element.selectionEnd
         };
-    }
-    
-    Selection.prototype._ieGetSelection = function() {
+    };
+
+    Selection.prototype._ieGetSelection = function(){
         this.element.focus();
-    
+
         var range = document.selection.createRange();
         var bookmark = range.getBookmark();
-    
+
         var contents = this.element.value;
         var originalContents = contents;
         var marker = this._createSelectionMarker();
-        while(contents.indexOf(marker) != -1) {
+        while(contents.indexOf(marker) != -1){
             marker = this._createSelectionMarker();
         }
-    
+
         var parent = range.parentElement();
-        if (parent == null || parent.type != "textarea") {
-            return { start: 0, end: 0 };
+        if(parent == null || parent.type != 'textarea'){
+            return { start : 0, end : 0 };
         }
         range.text = marker + range.text + marker;
         contents = this.element.value;
-    
+
         var result = {};
         result.start = contents.indexOf(marker);
-        contents = contents.replace(marker, "");
+        contents = contents.replace(marker, '');
         result.end = contents.indexOf(marker);
-    
+
         this.element.value = originalContents;
         range.moveToBookmark(bookmark);
         range.select();
-    
+
         return result;
-    }
-    
-    Selection.prototype._createSelectionMarker = function() {
-        return "##SELECTION_MARKER_" + Math.random() + "##";
-    }
+    };
+
+    Selection.prototype._createSelectionMarker = function(){
+        return '##SELECTION_MARKER_' + Math.random() + '##';
+    };
 
 }());

lang/javascript/jarminal/trunk/src/ui/jquery/ui.jarminal.js

@@ -5 +5 @@
 jarminal.UI = {
 
-    //create UI 
-    create :  function(){
+    //create UI
+    create : function(){
         var self = this;
         //create element
         jQuery(document.body)
-        .append('<div id="terminal"><fieldset><textarea id="jarminal-view"></textarea></fieldset><div id="jarminal-scope">window&gt;</div><fieldset><textarea id="jarminal-input"></textarea></fieldset></div>');
+        .append('<div id="terminal"><fieldset><textarea id="jarminal-view"/></fieldset><div id="jarminal-scope">window&gt;</div><fieldset><textarea id="jarminal-input"/></fieldset></div>');
 
         //set focus event
@@ -66 +66 @@
         this.resize();
 
-        jQuery('.ui-dialog').append('<div id="ui-bg" />');
+        jQuery('.ui-dialog').append('<div id="ui-bg"/>');
         jQuery('#ui-bg').css({
-            backgroundColor:'#000000',
-            height:'100%',
-            position:'absolute',
-            top:'0pt',
-            width:'100%',
-            zIndex:'0',
+            backgroundColor : '#000000',
+            height : '100%',
+            position : 'absolute',
+            top : '0pt',
+            width : '100%',
+            zIndex : '0',
             opacity : 0.6
         });
@@ -99 +99 @@
         });
 
-        //style 
+        //style
         jQuery('#jarminal-view,#jarminal-scope,#jarminal-input')
         .css({
@@ -105 +105 @@
             color : '#FFF',
             width : '100%',
-              margin:'0px'
-            
+            margin : '0px'
+
         });
         jQuery('#jarminal-view,#jarminal-input')
@@ -161 +161 @@
         this.resetInput();
     },
-    
+
     lineBreak : function(){
         //TODO : bugfix on ie
@@ -201 +201 @@
     //get input text from UI
     input : function(){
-        return  jQuery('#jarminal-input').attr('value').replace(/[\r\n]/g,'');
-    },
-
-    //reset input text 
+        return jQuery('#jarminal-input').attr('value').replace(/[\r\n]+/g,'');
+    },
+
+    //reset input text
     resetInput : function(){
         jQuery('#jarminal-input').attr('value', '' );
@@ -213 +213 @@
         jQuery('#jarminal-input').attr('value', str );
     },
-    
+
     //add input text
     addInput : function(str){