|
|
437e1f60e5
|
preserve line-selection hash fragment in URL when navigating to a search result
|
2017-12-10 13:57:32 +13:00 |
|
|
|
3c8631c0d7
|
fix search highlighting for previous
|
2017-12-10 13:57:16 +13:00 |
|
|
|
8568c4bdc2
|
replace js state setting, with URL targets in select values ; remove "PCRE" from regex tooltip
|
2017-12-10 12:50:11 +13:00 |
|
|
|
3f623782b7
|
use a constant for default font size
|
2017-12-10 12:19:48 +13:00 |
|
|
|
92e7064372
|
inline the toggle_element function
|
2017-12-10 12:19:35 +13:00 |
|
|
|
149e226729
|
move toggleMenu call from html onclick to DOM addEventListener
|
2017-12-10 12:19:07 +13:00 |
|
|
|
533527c890
|
remove mousetrap.js (APL) in favour of accesskey; add title tags
|
2017-12-10 11:57:59 +13:00 |
|
|
|
1e36c85880
|
initial commit
|
2017-08-13 13:57:08 +12:00 |
|
