浴室蛇口MS392-005の蛇口ハンドル(KP76DW?)とMYMスピンドル間のアダプタの3Dプリント用データ。
DMM.makeの3Dプリンターサービスで522円(素材:Resin A1 Pro)でした。
- faucet-handle-adapter.FCStd: FreeCADファイル
- faucet-handle-adapter.stl: 3Dプリント用STLファイル。FreeCADからエクスポートしたもの。
蛇口ハンドルの見た目は、KP76DWっぽいですが、アダプタが付いているかは未確認。
| diff --git a/src/GridText.c b/src/GridText.c | |
| index 04e9a4a..d9a1665 100644 | |
| --- a/src/GridText.c | |
| +++ b/src/GridText.c | |
| @@ -453,7 +453,11 @@ struct _HText { | |
| HTList *hidden_links; /* Content-less links ... */ | |
| int hiddenlinkflag; /* ... and how to treat them */ | |
| BOOL no_cache; /* Always refresh? */ | |
| +#ifdef EXP_JAPANESE_SPACES | |
| + char LastChars[7]; /* utf-8 buffer */ |
| diff --git a/src/GridText.c b/src/GridText.c | |
| index d9a1665..b3c41e0 100644 | |
| --- a/src/GridText.c | |
| +++ b/src/GridText.c | |
| @@ -6257,6 +6257,34 @@ HTChildAnchor *HText_childNextNumber(int number, void **prev) | |
| return a->anchor; | |
| } | |
| +#ifdef EXP_HEADINGLIST | |
| +/* returns not only HREF anchor which has number |
| diff --git a/src/HTML.c b/src/HTML.c | |
| index 660106e..bfb5248 100644 | |
| --- a/src/HTML.c | |
| +++ b/src/HTML.c | |
| @@ -1182,6 +1182,7 @@ static int HTML_start_element(HTStructured * me, int element_number, | |
| break; | |
| case HTML_LINK: | |
| +#ifdef USE_TOOLBAR | |
| intern_flag = FALSE; |
| diff --git a/LYMessages_en.h b/LYMessages_en.h | |
| index 7014be6..ac64f9a 100644 | |
| --- a/LYMessages_en.h | |
| +++ b/LYMessages_en.h | |
| @@ -426,6 +426,7 @@ | |
| #define NO_EDITOR gettext("No editor is defined!") | |
| #define PRINT_DISABLED gettext("The 'p'rint command is currently disabled.") | |
| #define NO_TOOLBAR gettext("Document has no Toolbar links or Banner.") | |
| +#define TOOLBAR_DISABLED gettext("Toolbar is currently disabled.") | |
| #define CANNOT_OPEN_TRAV_FILE gettext("Unable to open traversal file.") |
| <html> | |
| <head> | |
| <title>gzip on browser</title> | |
| </head> | |
| <body> | |
| <input type="file" id="fileElem" multiple /> | |
| <script> | |
| const fileElem = document.getElementById("fileElem"); |
$ cat trips.json
[{"vendor":"car","path":[[139.8007914,35.5144044],[139.9108676,35.4396142]],"timestamps":[0,600]},{"vendor":"escooter","path":[[139.9108139,35.439529],[139.8008987,35.5140027]],"timestamps":[0,600]}]
$ curl https://raw.githubusercontent.com/visgl/deck.gl-data/master/examples/trips/trips-v7.json 2> /dev/null | jq -c 'map(select(.path[0][0] < -73.98 and .path[-1][0] < -73.98 and .path[0][0] > -74.02 and .path[-1][0] > -74.02 and .path[0][1] < 40.75 and .path[-1][1] < 40.75 and .path[0][1] > 40.70 and .path[-1][1] > 40.70))' | jq -c '.' > trips-v7_0.json