Someone had mentioned the need for a "jump to uuid" box in the fossil ui (if you got a uuid from somewhere other than the web ui - 'fossil annotate' for example, or just a link on a different server), so I threw together this cheap javascript hack. Put this snippet in your header (or wherever you want it) to get a 'jump to uuid' box.
<th1> html "<form name='uuid' onSubmit='document.location=\"$baseurl/info/\"+document.forms.uuid.uuid.value; return false;'>" </th1> Jump to UUID: <input type="entry" name="uuid" size="8"> <input type="submit" value="Go"> </form> You can see/test it on http://chiselapp.com/user/evilotto/repository/web-tools/index Cheers, -J _______________________________________________ fossil-users mailing list fossil-users@lists.fossil-scm.org http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users
