1
7
Fork
You've already forked flow
0

feat(note): add subtitle option #4

Merged
MultisampledNight merged 2 commits from :add-subtitle into next 2025年12月20日 03:21:07 +01:00
Contributor
Copy link

Closes #3

Closes #3
MultisampledNight left a comment
Copy link

Thanks!! Few small nits, otherwise this is amazaing :3

Thanks!! Few small nits, otherwise this is amazaing :3
@ -128,3 +128,3 @@
})
(data:data,title:title)
letsubtitle=args.at("subtitle",default:"")

Could you use none as sentinel value instead? (Remember to also adjust the src/template/note.typ afterwards)

Could you use `none` as sentinel value instead? (Remember to also adjust the `src/template/note.typ` afterwards)
hyperpastel marked this conversation as resolved
@ -32,2 +32,2 @@
v(-1.75em)
info.render(forget-keys(data,("keywords","title","outline")))
ifsubtitle!=""{
text(1em,"")

What is this for? Don't think I quite understand the purpose of the entire line.

What is this for? Don't think I quite understand the purpose of the entire line.
Author
Contributor
Copy link

I think I miss-used line breaks here and it resulted in a dis-proportionally large gap so I came up with this, to temporarily reset text size.

Don't think this is quite it tho :P

I think I miss-used line breaks here and it resulted in a dis-proportionally large gap so I came up with this, to temporarily reset text size. Don't think this is quite it tho :P
hyperpastel marked this conversation as resolved
Author
Contributor
Copy link
#show:note.with(title:"Evolution of a proof assistant",subtitle:"Porting Closure Properties of General Grammars from Lean3 to Lean4")

Before the MR

image

After the MR

image

```typst #show: note.with( title: "Evolution of a proof assistant", subtitle: "Porting Closure Properties of General Grammars from Lean3 to Lean4" ) ``` # Before the MR ![image](/attachments/6bd5037f-b291-4feb-97a0-420c6b64881e) # After the MR ![image](/attachments/72a82dfa-974d-4d66-993a-9c8a0652bbe3)
MultisampledNight left a comment
Copy link

Nice one, thanks!

Nice one, thanks!
Sign in to join this conversation.
No reviewers
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
MultisampledNight/flow!4
Reference in a new issue
MultisampledNight/flow
No description provided.
Delete branch ":add-subtitle"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?