Fossil

Timeline
Login

Timeline

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

7 check-ins using file src/info.c version acd0afc6d0

2020-08-15
10:14
Shrink the line number column just a tick. ... (check-in: e5f79f4fa5 user: stephan tags: line-number-selection)
09:58
Some CSS consolidation and got the horizontal scrollbars working on unusually wide code files. ... (check-in: 3d49b73f40 user: stephan tags: line-number-selection)
09:15
Added a few 'inherits' CSS properties to resolve font size mayem when hilightjs does its thing. ... (check-in: 618c6b1319 user: stephan tags: line-number-selection)
08:43
Added missing fossil.copybutton.js. ... (check-in: b646e724b7 user: stephan tags: line-number-selection)
08:29
Optimized the mouse-based line number selection considerably, requiring far less DOM traversal. ... (check-in: 0096aa4644 user: stephan tags: line-number-selection)
08:02
Doc improvements, minor cleanups. Made the URL-copy element's popup position less variable. Uplifted the flash-once and copy-to-clipboard code into the fossil.dom API. ... (check-in: 738bea54c0 user: stephan tags: line-number-selection)
07:41
Implemented dynamic mouse selection of source lines and clipboard tooltip to copy the line range URL. ... (check-in: 3942eb600a user: stephan tags: line-number-selection)