Fix a UI glitch where dragging an existing arrow could change what it

[sgt/puzzles] / puzzles.h

diff --git a/puzzles.h b/puzzles.h
index 49c2a07..30ffcb0 100644 (file)
--- a/puzzles.h
+++ b/puzzles.h
@@ -215,6 +215,7 @@ int midend_process_key(midend *me, int x, int y, int button);
 void midend_force_redraw(midend *me);
 void midend_redraw(midend *me);
 float *midend_colours(midend *me, int *ncolours);
+void midend_freeze_timer(midend *me, float tprop);
 void midend_timer(midend *me, float tplus);
 int midend_num_presets(midend *me);
 void midend_fetch_preset(midend *me, int n,
@@ -287,6 +288,7 @@ void print_dsf(int *dsf, int size);
  * indicating whether the canonical element is inverse to val. */
 int edsf_canonify(int *dsf, int val, int *inverse);
 int dsf_canonify(int *dsf, int val);
+int dsf_size(int *dsf, int val);
 
 /* Allow the caller to specify that two elements should be in the same
  * equivalence class.  If 'inverse' is TRUE, the elements are actually opposite