Fossil

Timeline
Login

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

20 check-ins tagged with "line-number-selection"

2020-08-16
08:13
Removed a now-unused CSS class. Closed-Leaf check-in: 1cb792fd19 user: stephan tags: line-number-selection
05:10
Several padding tweaks to ensure proper line/code alignment in all of the skins. check-in: e0e5449aa4 user: stephan tags: line-number-selection
04:08
Gave the BLOCKQUOTE which surrounds file content the file-content CSS class and trimmed its margins a bit. Fixed the truncated-by-one file extension uses in the language-XYZ tag in non-line-numbered file content, caused by refactoring from this branch. check-in: 62b682bded user: stephan tags: line-number-selection
03:53
Added 'important' to 'hidden' CSS rules to ensure that its visibility-hindering attributes trump other classes' attributes. This fixes the .hidden-yet-visible toast message popup and makes .hidden more future-proof. check-in: 22c592fc32 user: stephan tags: line-number-selection
02:43
Made copy-to-clipboard toast message less verbose. Tapping anywhere on the clipboard buttons popup widget now activates the clipboard copy. check-in: 739e4ee339 user: stephan tags: line-number-selection
01:32
Removed some stray debug output. Added a window.CustomEvent polyfill "just in case." check-in: af47d1531d user: stephan tags: line-number-selection
00:50
Removed the copy button's hard-coded post-copy behaviour (flashing) and instead fire a text-copied event. The line number selection now closes the popup widget after the copy button is triggered. Implemented a basic toast-message API using PopupWidget. check-in: 8a6ccf9ddd user: stephan tags: line-number-selection
2020-08-15
23:30
Renamed TooltipWidget to PopupWidget because's it's not *quite* a tooltip and we're soon going to need something closer to a genuine tooltip. Minor adjacent cleanups and code consolidation. check-in: 3998ccef44 user: stephan tags: line-number-selection
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
03:51
Reimplemented ln=... highlighting to mark the line numbers instead of the code, so that there is no interference with syntax highlighters. Adjusted two skins to use the newer line-marking CSS. check-in: 14ac3e8469 user: stephan tags: line-number-selection
2020-08-14
19:25
Merged trunk to avoid style collisions later. Changed table.numbered-lines line-height from ex units to unitless, as Mozilla recommends. check-in: 41f270de75 user: stephan tags: line-number-selection
12:28
Corrected the JS-side recursive argument handling for the multiple-numbered-tables case. check-in: a54fa928e2 user: stephan tags: line-number-selection
12:21
Added optional filename parameter to output_text_with_line_numbers() so that it can add the language-X class to the CODE element. check-in: 0b3919f3e1 user: stephan tags: line-number-selection
11:53
Changes line-numbered output to make line numbers selectable, as discussed in [https://fossil-scm.org/forum/forumpost/dc3da10590]. A couple decisions are needed before deciding whether to merge. check-in: ec73edd4d0 user: stephan tags: line-number-selection