From 85979cd378883501915d110ffc4eb09cb349db2e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mladen=20Pejakovi=C4=87?= Date: Sat, 29 Dec 2012 14:05:19 +0100 Subject: [PATCH] Cosmetic changes to JavaScript options dialog --- src/lib/preferences/jsoptions.ui | 25 ++++++++++++++++--------- 1 file changed, 16 insertions(+), 9 deletions(-) diff --git a/src/lib/preferences/jsoptions.ui b/src/lib/preferences/jsoptions.ui index d73859db8..b383625e9 100644 --- a/src/lib/preferences/jsoptions.ui +++ b/src/lib/preferences/jsoptions.ui @@ -6,14 +6,21 @@ 0 0 - 302 - 226 + 214 + 247 JavaScript Options + + + + Allow JavaScript to: + + + @@ -32,7 +39,7 @@ - Allow JavaScript to close windows + Close windows @@ -42,42 +49,42 @@ If enabled, pages will be allowed to automatically open popup windows - Allow JavaScript to open popup windows + Open popup windows - Allow JavaScript to change window size + Change window size - Allow JavaScript to hide menu bar + Hide menu bar - Allow JavaScript to hide status bar + Hide status bar - Allow JavaScript to hide tool bar + Hide tool bar - Allow JavaScript to access clipboard + Access clipboard