Viewport: a legend for the Draft, Accessibility and Curvature Map analyses (#1299)

While Draft, Accessibility or Curvature Map analysis is on, a legend at the bottom left of the viewport says what each colour means and which values it stands for, with the theme's analysis colours and stripes. Labels translated in en/de/ja/ko/zh. Fixes #973.

assets/locales/de.json

@@ -293,6 +293,10 @@
   "ui.quantity": "Anzahl",
   "ui.quit": "Beenden",
   "ui.radius": "Radius",
+  "ui.pull_direction": "Entformungsrichtung",
+  "ui.tool_direction": "Werkzeugrichtung",
+  "ui.reachable": "Erreichbar",
+  "ui.blocked": "Verdeckt",
   "ui.radius_type": "Radius-Typ",
   "ui.rectangle": "Rechteck",
   "ui.rectangular_pattern": "Rechteckmuster",

assets/locales/en.json

@@ -592,6 +592,10 @@
   "ui.quit": "Quit",
   "ui.radial_context_menu": "Radial context menu",
   "ui.radius": "Radius",
+  "ui.pull_direction": "Pull direction",
+  "ui.tool_direction": "Tool direction",
+  "ui.reachable": "Reachable",
+  "ui.blocked": "Blocked",
   "ui.radius_type": "Radius Type",
   "ui.rectangle": "Rectangle",
   "ui.rectangular_pattern": "Rectangular Pattern",

assets/locales/ja.json

@@ -592,6 +592,10 @@
   "ui.quit": "終了",
   "ui.radial_context_menu": "パイ メニュー",
   "ui.radius": "半径",
+  "ui.pull_direction": "抜き方向",
+  "ui.tool_direction": "工具方向",
+  "ui.reachable": "到達可能",
+  "ui.blocked": "到達不可",
   "ui.radius_type": "半径タイプ",
   "ui.rectangle": "長方形",
   "ui.rectangular_pattern": "矩形パターン",

assets/locales/ko.json

@@ -293,6 +293,10 @@
   "ui.quantity": "수량",
   "ui.quit": "종료",
   "ui.radius": "반지름",
+  "ui.pull_direction": "빼기 방향",
+  "ui.tool_direction": "공구 방향",
+  "ui.reachable": "도달 가능",
+  "ui.blocked": "막힘",
   "ui.radius_type": "반지름 유형",
   "ui.rectangle": "직사각형",
   "ui.rectangular_pattern": "직사각형 패턴",

assets/locales/zh.json

@@ -590,6 +590,10 @@
   "ui.quit": "退出",
   "ui.radial_context_menu": "环形上下文菜单",
   "ui.radius": "半径",
+  "ui.pull_direction": "拔模方向",
+  "ui.tool_direction": "刀具方向",
+  "ui.reachable": "可到达",
+  "ui.blocked": "被遮挡",
   "ui.radius_type": "半径类型",
   "ui.rectangle": "矩形",
   "ui.rectangular_pattern": "矩形阵列",