From a33333eb414192f30577eb004b2c0942179bc6ca Mon Sep 17 00:00:00 2001
From: Florian Bruhin <git@the-compiler.org>
Date: Wed, 26 Oct 2016 20:11:41 +0200
Subject: [PATCH] Make the radius for prompt edges configurable

---
 qutebrowser/config/configdata.py | 4 ++++
 qutebrowser/mainwindow/prompt.py | 9 +++++----
 2 files changed, 9 insertions(+), 4 deletions(-)

diff --git a/qutebrowser/config/configdata.py b/qutebrowser/config/configdata.py
index 4575c3f4e..bad9433f1 100644
--- a/qutebrowser/config/configdata.py
+++ b/qutebrowser/config/configdata.py
@@ -384,6 +384,10 @@ def data(readonly=False):
              "Globs are supported, so ';*' will blacklist all keychains"
              "starting with ';'. Use '*' to disable keyhints"),
 
+            ('prompt-radius',
+             SettingValue(typ.Int(minval=0), '8'),
+             "The rounding radius for the edges of prompts."),
+
             readonly=readonly
         )),
 
diff --git a/qutebrowser/mainwindow/prompt.py b/qutebrowser/mainwindow/prompt.py
index daa61bdbf..4d7430e14 100644
--- a/qutebrowser/mainwindow/prompt.py
+++ b/qutebrowser/mainwindow/prompt.py
@@ -80,13 +80,14 @@ class PromptContainer(QWidget):
     """
 
     STYLESHEET = """
+        {% set prompt_radius = config.get('ui', 'prompt-radius') %}
         QWidget#Prompt {
             {% if config.get('ui', 'status-position') == 'top' %}
-                border-bottom-left-radius: 10px;
-                border-bottom-right-radius: 10px;
+                border-bottom-left-radius: {{ prompt_radius }}px;
+                border-bottom-right-radius: {{ prompt_radius }}px;
             {% else %}
-                border-top-left-radius: 10px;
-                border-top-right-radius: 10px;
+                border-top-left-radius: {{ prompt_radius }}px;
+                border-top-right-radius: {{ prompt_radius }}px;
             {% endif %}
         }