Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Linespace customise FR #1479

Merged
merged 30 commits into from
Oct 25, 2024
Merged

Linespace customise FR #1479

Show file tree
Hide file tree
Changes from 16 commits
Commits
Show all changes
30 commits
Select commit Hold shift + click to select a range
23a8007
add JS and CSS, and remove static linespace CSS
hayden-MB Oct 21, 2024
dd8a8c7
apearance changes and add extra option
hayden-MB Oct 21, 2024
4672cfd
put options into grid
hayden-MB Oct 21, 2024
3f58779
toggle rather than hard code
hayden-MB Oct 23, 2024
32c2442
more edits
hayden-MB Oct 23, 2024
ba979c7
more options
hayden-MB Oct 23, 2024
6c9030b
remove surplus lines
hayden-MB Oct 23, 2024
a481fb7
remove hardcoding of spacing options-1
hayden-MB Oct 23, 2024
06918db
update default
hayden-MB Oct 23, 2024
44e8f0c
Update inst/resources/gitbook/js/plugin-fontsettings.js
hayden-MB Oct 23, 2024
483217f
Update inst/resources/gitbook/js/plugin-fontsettings.js
hayden-MB Oct 23, 2024
fdc3b35
remove surplus lines
hayden-MB Oct 23, 2024
43fbc5b
remove hardcoding of spacing options-2
hayden-MB Oct 23, 2024
32f482b
try this
hayden-MB Oct 23, 2024
9102883
add minimum line height
hayden-MB Oct 23, 2024
fd6ac60
Merge pull request #1 from hayden-MB/test
hayden-MB Oct 23, 2024
4e77314
disable button
hayden-MB Oct 23, 2024
e76f052
Update inst/resources/gitbook/js/plugin-fontsettings.js
hayden-MB Oct 25, 2024
56ae7e1
return css
hayden-MB Oct 25, 2024
45725fb
Merge pull request #2 from hayden-MB/test
hayden-MB Oct 25, 2024
d8101d6
Update NEWS.md
hayden-MB Oct 25, 2024
6d388a8
Update inst/resources/gitbook/css/plugin-fontsettings.css
hayden-MB Oct 25, 2024
f5f2e6f
Update inst/resources/gitbook/js/plugin-fontsettings.js
hayden-MB Oct 25, 2024
457d4cd
Update inst/resources/gitbook/js/plugin-fontsettings.js
hayden-MB Oct 25, 2024
fa64a81
Update inst/resources/gitbook/js/plugin-fontsettings.js
hayden-MB Oct 25, 2024
26f3ea2
Update inst/resources/gitbook/js/plugin-fontsettings.js
hayden-MB Oct 25, 2024
942f10f
Update inst/resources/gitbook/js/plugin-fontsettings.js
hayden-MB Oct 25, 2024
99572ae
restore style.css
yihui Oct 25, 2024
8a113bc
tweak news
yihui Oct 25, 2024
305557c
no need to max(): fontState.spacing is guaranteed to be >= 10
yihui Oct 25, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions inst/resources/gitbook/css/plugin-fontsettings.css
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -301,3 +301,4 @@ div.book.color-theme-2 {
background: #252737;
font-weight: 600;
}

hayden-MB marked this conversation as resolved.
Show resolved Hide resolved
Loading
Loading