command: fix display-fps property (again)

This caused complaints because the fps was basically rounded on
microsecond boundaries in the vsync interval (it seemed convenient to
store only the vsync interval). So store the fps as float too, and let
the "display-fps" property return it directly.

1 files changed, 2 insertions, 0 deletions

diff --git a/video/out/vo.h b/video/out/vo.h
index b11b914742..d987bf2855 100644
--- a/video/out/vo.h
+++ b/video/out/vo.h
@@ -324,6 +324,8 @@ struct mp_image *vo_get_current_frame(struct vo *vo);
 
 void vo_set_flip_queue_params(struct vo *vo, int64_t offset_us, bool vsync_timed);
 int64_t vo_get_vsync_interval(struct vo *vo);
+double vo_get_display_fps(struct vo *vo);
+
 void vo_wakeup(struct vo *vo);
 
 const char *vo_get_window_title(struct vo *vo);