From dfad4f49ffabd51efa089529883b7b8cabcc4eb4 Mon Sep 17 00:00:00 2001
From: malc <av1474@comtv.ru>
Date: Thu, 31 Jul 2014 23:32:11 +0400
Subject: [PATCH] Draw a border around thumbnail

---
 main.ml | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/main.ml b/main.ml
index 6201f8c..a02a53e 100644
--- a/main.ml
+++ b/main.ml
@@ -5301,7 +5301,18 @@ let drawpage l =
         then scalecolor 0.9
         else (
           if l.pageno = pageno
-          then scalecolor 1.0
+          then (
+            let c = scalecolor 1.0 in
+            GlDraw.color c;
+            GlDraw.line_width 3.0;
+            let dispx = xadjsb l.pagedispx in
+            linerect
+              (float (dispx-1)) (float (l.pagedispy-1))
+              (float (dispx+l.pagevw+1))
+              (float (l.pagedispy+l.pagevh+1))
+              ;
+            c;
+           )
           else scalecolor 0.8
         )
   in
-- 
2.11.4.GIT