FIX: Custom-IDs and org-info.js
commit366e95c4c3dd9bcca7093d6aad137fc89eadf37a
authorSebastian Rose, Hannover, Germany <sebastian_rose@gmx.de>
Fri, 19 Jun 2009 15:54:47 +0000 (19 17:54 +0200)
committerSebastian Rose, Hannover, Germany <sebastian_rose@gmx.de>
Fri, 19 Jun 2009 15:54:47 +0000 (19 17:54 +0200)
treee4fd2b84ae26a0d38ceefe82b1fb5b2208d059d5
parent417fa6930e643353c685c91f2db2cd7bbc6a725c
FIX: Custom-IDs and org-info.js

* Regexp was lost...
* Also, display the preferred ID in the browsers location bar.
code/org-info-js/org-info-src.js
code/org-info-js/org-info.js