remove analysis action menu "Preferences" title

2019-05-03 07:45:27 +07:00 · 2019-05-03 07:45:27 +07:00 · 82788f05f4
parent 335433db6f
commit 82788f05f4
2 changed files with 0 additions and 2 deletions
--- a/app/views/analyse/jsI18n.scala
+++ b/app/views/analyse/jsI18n.scala
@ -50,7 +50,6 @@ private object jsI18n {
    trans.toggleLocalEvaluation,
    // action menu
    trans.menu,
-    trans.preferences,
    trans.inlineNotation,
    trans.computerAnalysis,
    trans.enable,
--- a/ui/analyse/src/actionMenu.ts
+++ b/ui/analyse/src/actionMenu.ts
@ -246,7 +246,6 @@ export function view(ctrl: AnalyseCtrl): VNode {
    ] : []) : [];

  const notationConfig = [
-    h('h2', noarg('preferences')),
    ctrlBoolSetting({
      name: noarg('inlineNotation'),
      title: 'Shift+I',