OLD | NEW |
1 <!DOCTYPE HTML> | 1 <!DOCTYPE HTML> |
2 <style> | 2 <style> |
3 #clipper { | 3 #clipper { |
4 overflow: hidden; | 4 overflow: hidden; |
5 width: 400px; | 5 width: 400px; |
6 height: 100px; | 6 height: 100px; |
7 margin: 10px; | 7 margin: 10px; |
8 } | 8 } |
9 | 9 |
10 #scroller { | 10 #scroller { |
(...skipping 15 matching lines...) Expand all Loading... |
26 #scrolled { | 26 #scrolled { |
27 position: relative; | 27 position: relative; |
28 background: green; | 28 background: green; |
29 width: 80px; | 29 width: 80px; |
30 height: 500px; | 30 height: 500px; |
31 } | 31 } |
32 </style> | 32 </style> |
33 <script> | 33 <script> |
34 if (window.internals) { | 34 if (window.internals) { |
35 window.internals.settings.setOverlayScrollbarsEnabled(true); | 35 window.internals.settings.setOverlayScrollbarsEnabled(true); |
36 window.internals.settings.setAcceleratedCompositingForOverflowScrollEnabled(
false); | 36 window.internals.settings.setPreferCompositingToLCDTextEnabled(false); |
37 } | 37 } |
38 </script> | 38 </script> |
39 <div id='clipper'> | 39 <div id='clipper'> |
40 <div id='scroller'> | 40 <div id='scroller'> |
41 <div id='fixed'></div> | 41 <div id='fixed'></div> |
42 <div id='scrolled'></div> | 42 <div id='scrolled'></div> |
43 </div> | 43 </div> |
44 </div> | 44 </div> |
OLD | NEW |