marcel/kinto
1
0
Fork 0
mirror of https://github.com/rbreaves/kinto.git synced 2025-08-11 05:17:43 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #773 from RedBearAK/patch-65

Browse Source 
Add Brave-browser to browsers and chromes lists
This commit is contained in:
Ben Reaves
2022-12-01 23:04:23 -06:00
committed by GitHub
parent e106710afb cd7ab8e572
commit e102f63036
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
linux/kinto.py
View File

@@ -70,6 +70,7 @@ mscodes.extend(remotes)
# Use for browser specific hotkeys # Use for browser specific hotkeys
browsers = [ browsers = [
"Brave-browser",
"Chromium", "Chromium",
"Chromium-browser", "Chromium-browser",
"Discord", "Discord",
@@ -88,6 +89,7 @@ browsers = [browser.casefold() for browser in browsers]
browserStr = "|".join(str('^'+x+'$') for x in browsers) browserStr = "|".join(str('^'+x+'$') for x in browsers)
chromes = [ chromes = [
"Brave-browser",
"Chromium", "Chromium",
"Chromium-browser", "Chromium-browser",
"Google-chrome", "Google-chrome",