From cef2ec5f533ccb42172bf5766fe5f6de61c1a673 Mon Sep 17 00:00:00 2001
From: KaiserBarbarossa <kaiser.barbarossa@yandex.com>
Date: Wed, 10 Feb 2021 14:41:48 +0100
Subject: [PATCH] Introduce configuration options

Add more configuration. At the moment there are following two settings:
 * set an own user-agent
 * enable developer extras (aka Firebug)
---
 mybrowse.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/mybrowse.py b/mybrowse.py
index 619d714..2290461 100755
--- a/mybrowse.py
+++ b/mybrowse.py
@@ -85,6 +85,10 @@ def __init__(self):
         self.view.connect("notify::uri", self.change_uri)
         self.view.connect("notify::title", self.change_title)
 
+        settings = self.view.get_settings()
+        settings.set_property('user-agent', config['Browser']['user-agent'])
+        settings.set_property('enable-developer-extras', config['Browser']['firebug'])
+
     def change_url(self, widget):
         url = self.addressbar.get_text()
         if not ":" in url:
@@ -120,7 +124,6 @@ def search(self, searchbar):
 
     def set_bookmark(self, widget):
         url = self.addressbar.get_text()
-        title = self.view.get_title()
         bm_file =  open(conf_dir + 'bookmarks.html', 'a')
         bm_file.write('<a href="' + url + '">' + title + '</a><br>\r\n')
         bm_file.close()