|
|
a3a7b5bd9a
|
Many cleanups
|
2024-08-15 21:10:25 -03:00 |
|
|
|
f72a40f095
|
Oops, escape things in HTML formatter!
|
2024-08-15 17:12:29 -03:00 |
|
|
|
5218af6855
|
lint
|
2024-08-13 22:06:19 -03:00 |
|
|
|
2e87762f1b
|
API changes to make it nicer
These are incompatible, tho.
* Theme is now a property of the formatter instead
of passing it arounf
* get_style_defs is now style_defs
|
2024-08-13 10:57:02 -03:00 |
|
|
|
88f5674917
|
Tiny bug
|
2024-08-12 21:02:17 -03:00 |
|
|
|
46d6d3f467
|
Make how-heavy-is-bold configurable
|
2024-08-12 10:55:58 -03:00 |
|
|
|
78ddc69937
|
Merge branch 'main' of github.com:ralsina/tartrazine
|
2024-08-12 10:11:03 -03:00 |
|
|
|
b1ad7b64c0
|
oops
|
2024-08-12 10:10:51 -03:00 |
|
|
|
ec8c53c823
|
Added --line-numbers for the terminal formatter
|
2024-08-11 13:21:47 -03:00 |
|
|
|
08daabe1c3
|
Cleanup token abbreviation generation script
|
2024-08-11 12:06:02 -03:00 |
|
|
|
f64c91801e
|
lint
|
2024-08-10 16:58:36 -03:00 |
|
|
|
8e29500fcf
|
Make line-numbers not-selectable. This makes the listing copy-friendly *AND* doesn't require wrapping things in tables
|
2024-08-10 16:54:46 -03:00 |
|
|
|
84ee7e6934
|
JSON formatter
|
2024-08-09 16:58:15 -03:00 |
|
|
|
a92d2501f7
|
HTML formatter option: wrap_long_lines
|
2024-08-09 16:20:30 -03:00 |
|
|
|
6b44bcb5ad
|
HTML formatter option: surrounding_pre
|
2024-08-09 15:59:49 -03:00 |
|
|
|
96dcb7e15e
|
Fix line highlight for non-base16 themes
|
2024-08-09 14:42:33 -03:00 |
|
|
|
f98f44365f
|
HTML formatter option: line_numbers / highlight_lines
|
2024-08-09 14:00:42 -03:00 |
|
|
|
d0c2b1764a
|
HTML formatter option: line_number_start / line_number_id_prefix
|
2024-08-09 13:28:05 -03:00 |
|
|
|
e6a292ade0
|
HTML formatter option: tab_width
|
2024-08-09 12:29:56 -03:00 |
|
|
|
4ced996f90
|
HTML formatter option: class_prefix
|
2024-08-09 12:21:02 -03:00 |
|
|
|
fd5af6ba3b
|
Starting to add options to HTML formatter: standalone
|
2024-08-09 11:57:23 -03:00 |
|
|
|
47237eecc3
|
Refactor things into separate files for easier reading
|
2024-08-09 11:31:18 -03:00 |
|
