mirrors/foot
1
0
Fork 0
mirror of https://codeberg.org/dnkl/foot.git synced 2026-04-15 08:21:03 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix formatting.

Browse source
This commit is contained in:
Ryan Roden-Corrent 2025-05-01 07:02:04 -04:00
parent 1bd8b6f659
commit 682c6fc17c
No known key found for this signature in database
GPG key ID: 435D8B10692555C9
2 changed files with 6 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

3
doc/foot.ini.5.scd
View file

@ -1358,8 +1358,7 @@ e.g. *search-start=none*.
Enter URL mode, where all currently visible URLs are tagged with a Enter URL mode, where all currently visible URLs are tagged with a
jump label with a key sequence that will place the URL in the jump label with a key sequence that will place the URL in the
clipboard. If the hint is completed with an uppercase character, clipboard. If the hint is completed with an uppercase character,
the match will also be pasted. Default: _Control+Shift+o_. the match will also be pasted. Default: _none_.
Default: _none_.
*regex-launch* *regex-launch*
Enter regex mode. This works exactly the same as URL mode; all Enter regex mode. This works exactly the same as URL mode; all

10
url-mode.c
View file

@ -160,13 +160,13 @@ activate_url(struct seat *seat, struct terminal *term, const struct url *url,
switch (url->action) { switch (url->action) {
case URL_ACTION_COPY: case URL_ACTION_COPY:
if (paste_url_to_self) { if (paste_url_to_self) {
if (term->bracketed_paste) if (term->bracketed_paste)
term_to_slave(term, "\033[200~", 6); term_to_slave(term, "\033[200~", 6);
term_to_slave(term, url_string, strlen(url_string)); term_to_slave(term, url_string, strlen(url_string));
if (term->bracketed_paste) if (term->bracketed_paste)
term_to_slave(term, "\033[201~", 6); term_to_slave(term, "\033[201~", 6);
} }
if (text_to_clipboard(seat, term, url_string, seat->kbd.serial)) { if (text_to_clipboard(seat, term, url_string, seat->kbd.serial)) {
/* Now owned by our clipboard “manager” */ /* Now owned by our clipboard “manager” */