Move the page margin config to frontend

This commit is contained in:
Alex Ling
2021-03-06 15:04:44 +00:00
parent f62344806a
commit d3f26ecbc9
4 changed files with 20 additions and 5 deletions

View File

@@ -20,7 +20,6 @@ class Config
property plugin_path : String = File.expand_path "~/mango/plugins",
home: true
property download_timeout_seconds : Int32 = 30
property page_margin : Int32 = 30
property disable_login = false
property default_username = ""
property auth_proxy_header_name = ""