From 4a17f430af8e40c37ed4837ed79e886d21092a5d Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mikegerwitz@gnu.org>
Date: Sun, 16 Mar 2014 21:07:14 -0400
Subject: [PATCH] ui.js no longer used; deleted

---
 scripts/ui.js | 103 --------------------------------------------------
 1 file changed, 103 deletions(-)
 delete mode 100644 scripts/ui.js

diff --git a/scripts/ui.js b/scripts/ui.js
deleted file mode 100644
index c1c2196..0000000
--- a/scripts/ui.js
+++ /dev/null
@@ -1,103 +0,0 @@
-/**
- * Page enhancements for ease.js website
- *
- *  Copyright (C) 2010 Mike Gerwitz
- *
- *  This program is free software: you can redistribute it and/or modify
- *  it under the terms of the GNU Affero General Public License as
- *  published by the Free Software Foundation, either version 3 of the
- *  License, or (at your option) any later version.
- *
- *  This program is distributed in the hope that it will be useful,
- *  but WITHOUT ANY WARRANTY; without even the implied warranty of
- *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- *  GNU Affero General Public License for more details.
- *
- *  You should have received a copy of the GNU Affero General Public License
- *  along with this program.  If not, see <http://www.gnu.org/licenses/>.
- */
-
-( function()
-{
-    var $trybox = null,
-        $trybtn = null
-    ;
-
-    $( document ).ready( function()
-    {
-        var $ex     = $( '.ex' ),
-            content = $ex.text().replace( /^ *\n/, '' ),
-            $txt;
-
-        $ex.text( '' )
-            .removeClass( 'excode' )
-            .append( $txt = $( '<textarea>' )
-                .addClass( 'excode' )
-                .text( content )
-            )
-            .append( $( '<div>' )
-                .addClass( 'btns' )
-                .append( $( '<div>' )
-                    .text( 'try it' )
-                    .addClass( 'btn go' )
-                    .click( function()
-                    {
-                        runScript( $txt.val() );
-                    } )
-                )
-            );
-    } );
-
-
-    function runScript( script )
-    {
-        var Class         = easejs.Class,
-            FinalClass    = easejs.FinalClass,
-            AbstractClass = easejs.AbstractClass,
-            Interface     = easejs.Interface,
-
-            $console = $( '<textarea>' )
-                .attr( {
-                    id:       'try-console',
-                    readonly: 'readonly'
-                } ),
-
-            $dialog = $( '<div>' )
-                .append( $console )
-                .dialog( {
-                    title:  'Console',
-                    modal:  true,
-                    width:  '800px',
-                    height: 'auto'
-                } ),
-
-            console = {
-                log: function( text )
-                {
-                    $console.text(
-                        $console.text() + text + "\n"
-                    );
-                },
-
-                warn: function( text )
-                {
-                    $console.text(
-                        $console.text() + "[Warning] " + text + "\n"
-                    );
-                },
-            };
-
-        ( function( console )
-        {
-            try
-            {
-                eval( script );
-            }
-            catch ( e )
-            {
-                console.log( e );
-            }
-        } )( console );
-    }
-} )();
-