| OLD | NEW |
| 1 <!doctype html> | 1 <!doctype html> |
| 2 <html style="border:10px solid maroon; -webkit-writing-mode:vertical-rl"> | 2 <html style="border:10px solid maroon; -webkit-writing-mode:vertical-rl"> |
| 3 <head> | 3 <head> |
| 4 <meta http-equiv="content-type" content="text/html; charset=UTF-8"> | 4 <meta http-equiv="content-type" content="text/html; charset=UTF-8"> |
| 5 <style> | 5 <style> |
| 6 body { | 6 body { |
| 7 font-family: "HiraMinPro-W3"; | 7 font-family: "HiraMinPro-W3"; |
| 8 font-size: 16pt; | 8 font-size: 16pt; |
| 9 } | 9 } |
| 10 </style> | 10 </style> |
| 11 <script src="resources/repaint.js"></script> | 11 <script src="resources/repaint.js"></script> |
| 12 <script> | 12 <script> |
| 13 function selectStuff() | 13 function selectStuff() |
| 14 { | 14 { |
| 15 if (eventSender) { | 15 if (eventSender) { |
| 16 // Mouse events only work after an initial layout | |
| 17 document.body.offsetLeft; | |
| 18 eventSender.mouseMoveTo(760, 200); | 16 eventSender.mouseMoveTo(760, 200); |
| 19 eventSender.mouseDown(); | 17 eventSender.mouseDown(); |
| 20 eventSender.mouseMoveTo(760, 200); | 18 eventSender.mouseMoveTo(760, 200); |
| 21 eventSender.mouseMoveTo(400, 200); | 19 eventSender.mouseMoveTo(400, 200); |
| 22 eventSender.mouseUp(); | 20 eventSender.mouseUp(); |
| 23 } | 21 } |
| 24 } | 22 } |
| 25 | 23 |
| 26 function repaintTest() | 24 function repaintTest() |
| 27 { | 25 { |
| 28 if (eventSender) { | 26 if (eventSender) { |
| 29 eventSender.mouseMoveTo(100, 100); | 27 eventSender.mouseMoveTo(100, 100); |
| 30 eventSender.mouseDown(); | 28 eventSender.mouseDown(); |
| 31 eventSender.mouseMoveTo(100, 100); | 29 eventSender.mouseMoveTo(100, 100); |
| 32 eventSender.mouseUp(); | 30 eventSender.mouseUp(); |
| 33 } | 31 } |
| 34 } | 32 } |
| 35 </script> | 33 </script> |
| 36 </head> | 34 </head> |
| 37 <body style="border:5px solid black;" onload="selectStuff(); runRepaintTest()"> | 35 <body style="border:5px solid black;" onload="selectStuff(); runRepaintTest()"> |
| 38 <div style="height:400px; margin-top:100px"> | 36 <div style="height:400px; margin-top:100px"> |
| 39 せっかく見つけたすばらしい記事がどこにあったか忘れてしまった経験はありますかならタイトルとアドレスだけでなく、訪問したウェブページのコンテンツからも検索すること
ができます。せっかく見つけたすばらしい記事がどこにあったか忘れてしまった経験はありますか ならタイトルとアドレスだけでなく、訪問したウェブページのコンテンツから
も検索することができます。訪問したウェブページのコンテンツからも検索することができます。せっかく見つけたすばらしい記事がどこにあったか忘れてしまった経験はありま
すか ならタイトルとアドレスだけでなく、訪問 | 37 せっかく見つけたすばらしい記事がどこにあったか忘れてしまった経験はありますかならタイトルとアドレスだけでなく、訪問したウェブページのコンテンツからも検索すること
ができます。せっかく見つけたすばらしい記事がどこにあったか忘れてしまった経験はありますか ならタイトルとアドレスだけでなく、訪問したウェブページのコンテンツから
も検索することができます。訪問したウェブページのコンテンツからも検索することができます。せっかく見つけたすばらしい記事がどこにあったか忘れてしまった経験はありま
すか ならタイトルとアドレスだけでなく、訪問 |
| 40 </div> | 38 </div> |
| 41 | 39 |
| 42 | 40 |
| 43 </body> | 41 </body> |
| OLD | NEW |