# HG changeset patch
# User Chris Cannam
# Date 1481716607 0
# Node ID f32828ea63d9d7fa18ccdd44822960735b2adc9b
# Parent  97d0c798c2acf885ef79f2c3ff4aed12b49b13a4
Minor debug tweaks

diff -r 97d0c798c2ac -r f32828ea63d9 view/ViewManager.cpp
--- a/view/ViewManager.cpp	Tue Dec 13 16:23:48 2016 +0000
+++ b/view/ViewManager.cpp	Wed Dec 14 11:56:47 2016 +0000
@@ -159,6 +159,13 @@
 {
     if (m_playSource && m_playSource->isPlaying()) {
 	m_playbackFrame = m_playSource->getCurrentPlayingFrame();
+#ifdef DEBUG_VIEW_MANAGER
+        cout << "ViewManager::getPlaybackFrame(playing) -> " << m_playbackFrame << endl;
+#endif
+    } else {
+#ifdef DEBUG_VIEW_MANAGER
+        cout << "ViewManager::getPlaybackFrame(not playing) -> " << m_playbackFrame << endl;
+#endif
     }
     return m_playbackFrame;
 }
@@ -166,6 +173,9 @@
 void
 ViewManager::setPlaybackFrame(sv_frame_t f)
 {
+#ifdef DEBUG_VIEW_MANAGER
+    cerr << "ViewManager::setPlaybackFrame(" << f << ")" << endl;
+#endif
     if (f < 0) f = 0;
     if (m_playbackFrame != f) {
 	m_playbackFrame = f;