# HG changeset patch
# User ht
# Date 1511867331 0
# Node ID 0e2183025318687b57854744bd92a6e2df264978
# Parent  803e4156c7a08ee2556e8d50bb1218d43c3c1fe5
parens???

diff -r 803e4156c7a0 -r 0e2183025318 pers-init.el
--- a/pers-init.el	Wed Nov 22 15:26:34 2017 +0000
+++ b/pers-init.el	Tue Nov 28 11:08:51 2017 +0000
@@ -418,32 +418,32 @@
 (defun ht-custom-size ()
   (interactive)
   (site-caseq (laptop
-	       (message (format "pw: %s" (device-pixel-width (selected-device))))
-	       (if (fboundp 'device-pixel-width)
-		   (let ((pw (device-pixel-width (selected-device))))
-		     (cond ((>= pw 1680)
-			    ;; we're on a big external monitor
-			    (set-frame-pixel-size (selected-frame) 900 960)
-			    (set-frame-position (selected-frame) -3 -20)
-			   ((= (device-pixel-height (selected-device)) 768)
-			    ;; we're on a narrow cinema-ratio laptop
-			    (set-frame-pixel-size (selected-frame) 690 710)
-			    (set-frame-position (selected-frame) -5 -26))
-			   ((= (device-pixel-height (selected-device)) 900)
-			    ;; we're on a cinema-ratio laptop
-			    (set-frame-pixel-size (selected-frame) 800 820)
-			    (set-frame-position (selected-frame) -3 -20))
-			   ((= pw 1600)
-			    ;; we're on a big external monitor
-			    (set-frame-pixel-size (selected-frame) 900 1120)
-			    (set-frame-position (selected-frame) -3 -20))
-			   ((= pw 1280)
-			    (cond ((eq (device-pixel-height) 720)
-				   (set-frame-pixel-size (selected-frame) 700 655)
-				   (set-frame-position (selected-frame) -3 -30))
-				  (t
-				   (set-frame-pixel-size (selected-frame) 700 960)
-				   (set-frame-position (selected-frame) -3 -20))))))))))
+	       (message (format "pw: %s" (device-pixel-width (selected-device))))))
+  (if (fboundp 'device-pixel-width)
+      (let ((pw (device-pixel-width (selected-device))))
+	(cond ((>= pw 1680)
+	       ;; we're on a big external monitor
+	       (set-frame-pixel-size (selected-frame) 900 960)
+	       (set-frame-position (selected-frame) -3 -20)
+	       ((= (device-pixel-height (selected-device)) 768)
+		;; we're on a narrow cinema-ratio laptop
+		(set-frame-pixel-size (selected-frame) 690 710)
+		(set-frame-position (selected-frame) -5 -26))
+	       ((= (device-pixel-height (selected-device)) 900)
+		;; we're on a cinema-ratio laptop
+		(set-frame-pixel-size (selected-frame) 800 820)
+		(set-frame-position (selected-frame) -3 -20))
+	       ((= pw 1600)
+		;; we're on a big external monitor
+		(set-frame-pixel-size (selected-frame) 900 1120)
+		(set-frame-position (selected-frame) -3 -20))
+	       ((= pw 1280)
+		(cond ((eq (device-pixel-height) 720)
+		       (set-frame-pixel-size (selected-frame) 700 655)
+		       (set-frame-position (selected-frame) -3 -30))
+		      (t
+		       (set-frame-pixel-size (selected-frame) 700 960)
+		       (set-frame-position (selected-frame) -3 -20)))))))))
 
 (ht-custom-size)