diff options
| author | pommicket <pommicket@gmail.com> | 2023-08-15 10:50:30 -0300 |
|---|---|---|
| committer | pommicket <pommicket@gmail.com> | 2023-08-15 10:50:30 -0300 |
| commit | 4ea381d6a8a2a560213de896bab2aad02a70f937 (patch) | |
| tree | c0a3abe1dc27717ff1ea598dd0dbd4867f457e5b /ide-document-link.c | |
| parent | 50ecb07c724091ea2556fda8738d7500a77b0f9b (diff) | |
some settings stuff
Diffstat (limited to 'ide-document-link.c')
| -rw-r--r-- | ide-document-link.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide-document-link.c b/ide-document-link.c index 0c2d8cd..2d43807 100644 --- a/ide-document-link.c +++ b/ide-document-link.c @@ -68,7 +68,7 @@ static Rect document_link_get_rect(Ted *ted, DocumentLink *link) { } void document_link_frame(Ted *ted) { - Settings *settings = ted_active_settings(ted); + const Settings *settings = ted_active_settings(ted); if (!settings->document_links) { document_link_clear(ted); return; |