Fix "1.#J" bug; release 0.4.6.

[xournal.git] / src / xo-misc.h

diff --git a/src/xo-misc.h b/src/xo-misc.h
index c4342b854e5af2147954c925c675783b5b5cb55e..da1433dcfdae007ac51bcf5722cfcb1410c53f4d 100644 (file)
--- a/src/xo-misc.h
+++ b/src/xo-misc.h
@@ -34,6 +34,7 @@ void refstring_unref(struct Refstring *rs);
 
 // helper functions
 
+int finite_sized(double x);
 void get_pointer_coords(GdkEvent *event, double *ret);
 double get_pressure_multiplier(GdkEvent *event);
 void fix_xinput_coords(GdkEvent *event);