Allow tips to be enabled/disabled via menu option

This commit is contained in:
Nick O'Leary
2017-01-06 13:33:23 +00:00
parent 0c7705beff
commit d131addd63
3 changed files with 35 additions and 11 deletions

View File

@@ -53,7 +53,8 @@
"keyboardShortcuts": "Keyboard shortcuts",
"login": "Login",
"logout": "Logout",
"editPalette":"Manage palette"
"editPalette":"Manage palette",
"showTips": "Show tips"
}
},
"user": {