From f592fe8d6a7479ffd38fdf7fa74b046949f59040 Mon Sep 17 00:00:00 2001 From: Alan Silva Date: Mon, 7 Sep 2026 01:07:30 +0100 Subject: [PATCH] Settings: room for duplicate language names MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Wider popup, slightly narrower key buttons, 'English 2' instead of 'English · 2'. --- plugin/Panel.qml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/plugin/Panel.qml b/plugin/Panel.qml index b3c0067..eba3f08 100644 --- a/plugin/Panel.qml +++ b/plugin/Panel.qml @@ -297,7 +297,7 @@ Panel { } function langTitle(l) { // "English", or "English · 2" for a second entry of the same language var id = String(l.id || l.code), n = id.indexOf("-") > 0 ? id.slice(id.indexOf("-") + 1) : "" - return langName(l.code) + (n ? " · " + n : "") + return langName(l.code) + (n ? " " + n : "") } function moveLang(index, delta) { // the first language is the default var list = JSON.parse(langsJson), j = index + delta @@ -392,7 +392,7 @@ Panel { bar: root.bar open: root.opened focusTarget: keyCatcher - contentWidth: panel.fittedContentWidth(Style.space(520)) + contentWidth: panel.fittedContentWidth(Style.space(560)) contentHeight: panel.fittedContentHeight(topBlock.implicitHeight + Style.space(10) + body.implicitHeight + Style.space(4)) PanelKeyCatcher { @@ -929,7 +929,7 @@ Panel { spacing: Style.space(10) PanelSectionHeader { text: "LANGUAGES"; foreground: root.fg; fontFamily: root.fontFamily } - readonly property int keyW: Style.space(112) + readonly property int keyW: Style.space(108) readonly property int sendW: Style.space(70) readonly property int actW: Style.space(72)