From 263637a5f458d78316518c40a8f36760095aa753 Mon Sep 17 00:00:00 2001 From: Tomasz Pala Date: Sun, 4 Nov 2007 11:46:53 +0000 Subject: [PATCH] - set charClass 48 for polish diacritical letters Changed files: XTerm.ad-pl -> 1.28 --- XTerm.ad-pl | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/XTerm.ad-pl b/XTerm.ad-pl index 9574700..c2f0c9c 100644 --- a/XTerm.ad-pl +++ b/XTerm.ad-pl @@ -342,3 +342,7 @@ ! Set a border for the menus to make them simpler to distinguish against the ! vt100 widget: *SimpleMenu*borderWidth: 2 + +! Set polish diacritical letters (¡£¦¬¯±³¶¼¿ with ÆÊÑÓæêñó already set) the same class as regular letters +! in order to properly match while double-click word selection +*charClass: 161:48,163:48,166:48,172:48,175:48,177:48,179:48,182:48,188:48,191:48,198:48,202:48,209:48,211:48,230:48,234:48,241:48,243:48 -- 2.44.0