mirror of
https://git.pwmt.org/pwmt/zathura.git
synced 2024-12-28 07:06:02 +01:00
version 0.0.3
This commit is contained in:
parent
0152352647
commit
a2d4a9e6a7
3 changed files with 4 additions and 3 deletions
|
@ -1,7 +1,7 @@
|
||||||
# See LICENSE file for license and copyright information
|
# See LICENSE file for license and copyright information
|
||||||
# zathura make config
|
# zathura make config
|
||||||
|
|
||||||
VERSION = 0.0.2
|
VERSION = 0.0.3
|
||||||
|
|
||||||
# paths
|
# paths
|
||||||
PREFIX = /usr
|
PREFIX = /usr
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
.TH ZATHURA 1 zathura\-0.0
|
.TH ZATHURA 1 zathura\-VERSION
|
||||||
.SH NAME
|
.SH NAME
|
||||||
zathura \- a PDF viewer
|
zathura \- a PDF viewer
|
||||||
.SH SYNOPSIS
|
.SH SYNOPSIS
|
||||||
|
|
|
@ -2857,7 +2857,8 @@ cb_index_selection_changed(GtkTreeSelection* treeselection, GtkWidget* action_vi
|
||||||
if(page_number >= 0 && page_number <= Zathura.PDF.number_of_pages)
|
if(page_number >= 0 && page_number <= Zathura.PDF.number_of_pages)
|
||||||
{
|
{
|
||||||
set_page(page_number - 1);
|
set_page(page_number - 1);
|
||||||
/*update_status();*/
|
update_status();
|
||||||
|
gtk_widget_grab_focus(GTK_WIDGET(Zathura.UI.view));
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue