blob: b58b705129d5101fb635af0e836e304e87a86211 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
Fixes bug "pdf problems with gv" (Bug #13200).
http://savannah.gnu.org/bugs/index.php?func=detailitem&item_id=13200
by Markus Steinborn <msteinbo@uni-paderborn.de>,
Student of Computer Science
University of Paderborn.
Index: src/callbacks.c
===================================================================
--- src/callbacks.c (Revision 25)
+++ src/callbacks.c (Revision 26)
@@ -357,7 +357,11 @@
BEGINMESSAGE(cb_checkFile)
changed = check_file(((int)client_data));
- if (changed==1) show_page(current_page,NULL);
+ if (changed==1)
+ {
+ cb_stopInterpreter(page,NULL,NULL);
+ show_page(current_page,NULL);
+ }
ENDMESSAGE(cb_checkFile)
}
|