Change the markup to an extended button element

This commit is contained in:
Lukas Stancik
2026-04-07 12:12:05 +02:00
parent e47be363e9
commit 3b6a96bbcb
+2 -2
View File
@@ -461,7 +461,7 @@ fn on_enter_block_quote(context: &mut CompileContext) {
fn on_enter_task(context: &mut CompileContext) { fn on_enter_task(context: &mut CompileContext) {
context.tight_stack.push(false); context.tight_stack.push(false);
// context.line_ending_if_needed(); // context.line_ending_if_needed();
context.push("<task-todo>"); context.push("<button is=\"task-tracker\">");
} }
/// Handle [`Enter`][Kind::Enter]:[`CodeIndented`][Name::CodeIndented]. /// Handle [`Enter`][Kind::Enter]:[`CodeIndented`][Name::CodeIndented].
@@ -771,7 +771,7 @@ fn on_exit_task(context: &mut CompileContext) {
context.tight_stack.pop(); context.tight_stack.pop();
// context.line_ending_if_needed(); // context.line_ending_if_needed();
// context.slurp_one_line_ending = false; // context.slurp_one_line_ending = false;
context.push("</task-todo>"); context.push("</button>");
} }
/// Handle [`Exit`][Kind::Exit]:[`CharacterReferenceMarker`][Name::CharacterReferenceMarker]. /// Handle [`Exit`][Kind::Exit]:[`CharacterReferenceMarker`][Name::CharacterReferenceMarker].