Switch to side-by-side view

--- a/src/internfile/mh_exec.h
+++ b/src/internfile/mh_exec.h
@@ -68,10 +68,7 @@
 	return true;
     }
     virtual bool next_document();
-    virtual bool skip_to_document(const string& ipath) {
-	m_ipath = ipath;
-	return true;
-    }
+    virtual bool skip_to_document(const string& ipath); 
     virtual void clear() {
 	m_fn.erase(); 
 	m_ipath.erase();