mirror of
https://git.pwmt.org/pwmt/zathura.git
synced 2025-01-15 09:36:00 +01:00
Print debug entry on unspecified synctex editor
This commit is contained in:
parent
18ae9da3e1
commit
ae07020a0d
1 changed files with 1 additions and 1 deletions
|
@ -739,7 +739,6 @@ cb_page_widget_scaled_button_release(ZathuraPage* page_widget, GdkEventButton* e
|
||||||
|
|
||||||
bool synctex = false;
|
bool synctex = false;
|
||||||
girara_setting_get(zathura->ui.session, "synctex", &synctex);
|
girara_setting_get(zathura->ui.session, "synctex", &synctex);
|
||||||
|
|
||||||
if (synctex == false) {
|
if (synctex == false) {
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
@ -751,6 +750,7 @@ cb_page_widget_scaled_button_release(ZathuraPage* page_widget, GdkEventButton* e
|
||||||
char* editor = NULL;
|
char* editor = NULL;
|
||||||
girara_setting_get(zathura->ui.session, "synctex-editor-command", &editor);
|
girara_setting_get(zathura->ui.session, "synctex-editor-command", &editor);
|
||||||
if (editor == NULL || *editor == '\0') {
|
if (editor == NULL || *editor == '\0') {
|
||||||
|
girara_debug("No SyncTeX editor specified.");
|
||||||
g_free(editor);
|
g_free(editor);
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue