From 2413278c6071dfa2d237f1b641d81c87315f9393 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Wed, 27 Nov 2013 14:51:18 -0700 Subject: [PATCH] moving delete button --- .../meta/pkg-index/official/static/index.html | 2 ++ .../meta/pkg-index/official/static/index.js | 16 +++++++++------- .../meta/pkg-index/official/static/style.css | 4 ++++ 3 files changed, 15 insertions(+), 7 deletions(-) diff --git a/pkgs/plt-services/meta/pkg-index/official/static/index.html b/pkgs/plt-services/meta/pkg-index/official/static/index.html index 5e660609ba..75adccc961 100644 --- a/pkgs/plt-services/meta/pkg-index/official/static/index.html +++ b/pkgs/plt-services/meta/pkg-index/official/static/index.html @@ -60,6 +60,8 @@ Dependencies Conflicts Modules +
(there is no undo!)
Install this package with:

raco pkg install

or, with the 'File|Install Package...' menu option in DrRacket.
diff --git a/pkgs/plt-services/meta/pkg-index/official/static/index.js b/pkgs/plt-services/meta/pkg-index/official/static/index.js index 70c15b5bf8..19af080e00 100644 --- a/pkgs/plt-services/meta/pkg-index/official/static/index.js +++ b/pkgs/plt-services/meta/pkg-index/official/static/index.js @@ -59,14 +59,16 @@ $( document ).ready(function() { it.val(initv).focus(); } ) ); } } $( "#pi_name" ).text( pkgi['name'] ); - make_editbutton ( "pi_name", pkgi['name'], submit_mod_name ); + make_editbutton ( "pi_name", pkgi['name'], submit_mod_name ); if ( mypkg_p ) { - $( "#pi_name" ).append( $('