From 8e20ad995c77a9ca62e087c8b7026c7e377397ff Mon Sep 17 00:00:00 2001
From: OverloadedOrama <35376950+OverloadedOrama@users.noreply.github.com>
Date: Fri, 20 Dec 2019 18:44:51 +0200
Subject: [PATCH] Keep current font when changing theme

---
 Scripts/PreferencesDialog.gd | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Scripts/PreferencesDialog.gd b/Scripts/PreferencesDialog.gd
index f61f95d52..ea1f20ad3 100644
--- a/Scripts/PreferencesDialog.gd
+++ b/Scripts/PreferencesDialog.gd
@@ -26,6 +26,7 @@ func _on_ThemeOption_item_selected(ID : int) -> void:
 	Global.config_cache.save("user://cache.ini")
 
 func change_theme(ID : int) -> void:
+	var font = Global.control.theme.default_font
 	var main_theme
 	var top_menu_style
 	var ruler_style
@@ -47,6 +48,7 @@ func change_theme(ID : int) -> void:
 		ruler_style = preload("res://Themes & Styles/Light Theme/LightRulerStyle.tres")
 
 	Global.control.theme = main_theme
+	Global.control.theme.default_font = font
 	Global.top_menu_container.add_stylebox_override("panel", top_menu_style)
 	Global.horizontal_ruler.add_stylebox_override("normal", ruler_style)
 	Global.horizontal_ruler.add_stylebox_override("pressed", ruler_style)