ついでに w3m localhost:8080 パッチ

うちの w3mcvs diff 見てるとなんか一つ他の人も便利かもしれない変更があったので。

diff -u -r1.93 url.c
--- url.c       29 May 2006 12:54:26 -0000      1.93
+++ url.c       21 Nov 2006 15:01:52 -0000
@@ -1252,7 +1252,7 @@

     while (*p && (IS_ALNUM(*p) || *p == '.' || *p == '+' || *p == '-'))
        p++;
-    if (*p == ':') {           /* scheme found */
+    if (*p == ':' && !isdigit(p[1])) {         /* scheme found */
        scheme = SCM_UNKNOWN;
        for (i = 0; (q = schemetable[i].cmdname) != NULL; i++) {
            int len = strlen(q);

なんか w3m http://localhost:8080 だけどオッケだけど w3m localhost:8080 とコマンドラインでうって動かないのはストレスフルだったのでつけました。弱点はさっきみたいな感じで g:12345 で 12345 が検索したいとかそういうのができなくなることですが、それこそ g://12345 でいいじゃんと私は考えています。

なにかあれば下記メールアドレスへ。
shinichiro.hamaji _at_ gmail.com
shinichiro.h