suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

updated

Browse Source
This commit is contained in:
Jay McCarthy 2014-09-23 21:37:20 -04:00
parent 6482301fd5
commit 24d854e4d1
3 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/plt-services/meta/pkg-index/official/static/index.html
View File

@ -93,16 +93,17 @@
<div id="pi_install" class="install">Install this package with:<br><br><tt>raco pkg install <span id="pi_name_inst"></span></tt><br><br>or, with the 'File|Install Package...' menu option in DrRacket.</div> <div id="pi_install" class="install">Install this package with:<br><br><tt>raco pkg install <span id="pi_name_inst"></span></tt><br><br>or, with the 'File|Install Package...' menu option in DrRacket.</div>
</div> </div>
<p id="packages_loading" style="text-align: center;">Loading...</td></tr>
<table class="packages sortable"> <table class="packages sortable">
<thead> <thead>
<tr> <tr>
<th></th> <th>Updated Recently</th>
<th>Package</th> <th>Package</th>
<th>Description</th> <th>Description</th>
<th>Build</th> <th>Build</th>
</tr> </tr>
</thead> </thead>
<tbody id="packages_table"> <tbody id="packages_table">
</tbody> </tbody>
</table> </table>
<div id="footer"> <div id="footer">

2
pkgs/plt-services/meta/pkg-index/official/static/index.js
View File

@ -497,6 +497,8 @@ $( document ).ready(function() {
var name = snames[name_i]; var name = snames[name_i];
add_package_to_list ( pkgdb[name] ); }); add_package_to_list ( pkgdb[name] ); });
$("#packages_loading").hide();
evaluate_search(); evaluate_search();
if ( target_pkg && pkgdb[target_pkg] ) { if ( target_pkg && pkgdb[target_pkg] ) {

3
pkgs/plt-services/meta/pkg-index/official/static/style.css
View File

@ -171,6 +171,9 @@ tr#pi_delete_row td {
text-align: center; text-align: center;
} }
.packages thead th:nth-child(1) {
font-size: xx-small;
}
.packages tr td:nth-child(1) { .packages tr td:nth-child(1) {
min-width: 1em; min-width: 1em;
} }