diff options
-rw-r--r-- | res/about/help.gmi | 4 | ||||
-rw-r--r-- | src/ui/documentwidget.c | 1 |
2 files changed, 3 insertions, 2 deletions
diff --git a/res/about/help.gmi b/res/about/help.gmi index 604f0fed..d8a2749b 100644 --- a/res/about/help.gmi +++ b/res/about/help.gmi | |||
@@ -31,7 +31,6 @@ Like Gemini, Lagrange has been designed with minimalism in mind. It depends on a | |||
31 | * Smooth scrolling | 31 | * Smooth scrolling |
32 | * Scaling page content (50%...200%) | 32 | * Scaling page content (50%...200%) |
33 | * Scaling factor for the UI (for arbitrary monitor DPI) | 33 | * Scaling factor for the UI (for arbitrary monitor DPI) |
34 | |||
35 | * Sidebars for managing bookmarks, identities and subscribed feeds, and viewing browsing history and the page outline | 34 | * Sidebars for managing bookmarks, identities and subscribed feeds, and viewing browsing history and the page outline |
36 | * Multiple tabs | 35 | * Multiple tabs |
37 | * Split view for browsing two pages at once | 36 | * Split view for browsing two pages at once |
@@ -41,7 +40,6 @@ Like Gemini, Lagrange has been designed with minimalism in mind. It depends on a | |||
41 | * Select and copy text with the mouse | 40 | * Select and copy text with the mouse |
42 | * Find text on the page | 41 | * Find text on the page |
43 | * Open image and audio links inline on the same page | 42 | * Open image and audio links inline on the same page |
44 | |||
45 | * Instant back/forward navigation | 43 | * Instant back/forward navigation |
46 | * Smart suggestions when typing an URL — search bookmarks, history, identities | 44 | * Smart suggestions when typing an URL — search bookmarks, history, identities |
47 | * Search engine integration | 45 | * Search engine integration |
@@ -302,6 +300,8 @@ This is called "pinning" and the behavior can be configured in Preferences. The | |||
302 | 300 | ||
303 | The default pinning mode is "Left Tab". | 301 | The default pinning mode is "Left Tab". |
304 | 302 | ||
303 | The ◧ indicator is shown in the URL input field when the current tab is pinned. | ||
304 | |||
305 | ## 1.9 Viewing local files and directories | 305 | ## 1.9 Viewing local files and directories |
306 | 306 | ||
307 | "file://" URLs can be used for accessing local files and directories. File types known to Lagrange, such as .gmi, .txt., .png, .jpg, and .zip, can be viewed inside the application. In this release, types of local files are detected solely based on the file extension. | 307 | "file://" URLs can be used for accessing local files and directories. File types known to Lagrange, such as .gmi, .txt., .png, .jpg, and .zip, can be viewed inside the application. In this release, types of local files are detected solely based on the file extension. |
diff --git a/src/ui/documentwidget.c b/src/ui/documentwidget.c index 0cf027f4..db7d6eee 100644 --- a/src/ui/documentwidget.c +++ b/src/ui/documentwidget.c | |||
@@ -1974,6 +1974,7 @@ static iBool handleCommand_DocumentWidget_(iDocumentWidget *d, const char *cmd) | |||
1974 | invalidate_DocumentWidget_(d); | 1974 | invalidate_DocumentWidget_(d); |
1975 | dealloc_VisBuf(d->visBuf); | 1975 | dealloc_VisBuf(d->visBuf); |
1976 | updateWindowTitle_DocumentWidget_(d); | 1976 | updateWindowTitle_DocumentWidget_(d); |
1977 | showOrHidePinningIndicator_DocumentWidget_(d); | ||
1977 | refresh_Widget(w); | 1978 | refresh_Widget(w); |
1978 | } | 1979 | } |
1979 | else if (equal_Command(cmd, "window.focus.lost")) { | 1980 | else if (equal_Command(cmd, "window.focus.lost")) { |