isa/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
7823216524
gnome-shell/data/osk-layouts
History
Florian Müllner 9811472e03 osk-layouts: Replace "SS" extra key with "ẞ" 
The on-screen keyboard only handles a single keyval per key, so the
current upper-case version of the German "ß" ends up as "S" instead
of the expected "SS".

It is possible to change the keyboard code to emulate multiple key
presses/releases for that particular case, but then luckily a proper
upper-case form exists nowadays: "ẞ".

That seems more appropriate for a single key than a dedicated "SS"
key, so replace it in all layouts that include it. Anybody who prefers
the traditional "SS" can easily tap "S" twice.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2612>
2023-01-25 14:11:35 +00:00
..
am.json data: Migrate keyboard layouts to 'delete' action for backspace 2022-08-10 17:11:26 +00:00
ara.json data: Migrate keyboard layouts to 'delete' action for backspace 2022-08-10 17:11:26 +00:00
at.json osk-layouts: Replace "SS" extra key with "ẞ" 2023-01-25 14:11:35 +00:00
be.json data: Shuffle comma/dot keys in OSK keymaps 2022-08-10 17:11:26 +00:00
bg.json data: Shuffle comma/dot keys in OSK keymaps 2022-08-10 17:11:26 +00:00
by.json data: Migrate keyboard layouts to 'delete' action for backspace 2022-08-10 17:11:26 +00:00
ca.json data: Shuffle comma/dot keys in OSK keymaps 2022-08-10 17:11:26 +00:00
ch.json osk-layouts: Replace "SS" extra key with "ẞ" 2023-01-25 14:11:35 +00:00
ch+fr.json osk-layouts: Replace "SS" extra key with "ẞ" 2023-01-25 14:11:35 +00:00
cz.json osk-layouts: Replace "SS" extra key with "ẞ" 2023-01-25 14:11:35 +00:00
de.json osk-layouts: Replace "SS" extra key with "ẞ" 2023-01-25 14:11:35 +00:00
dk.json osk-layouts: Replace "SS" extra key with "ẞ" 2023-01-25 14:11:35 +00:00
ee.json osk-layouts: Replace "SS" extra key with "ẞ" 2023-01-25 14:11:35 +00:00
epo.json osk-layouts: Replace "SS" extra key with "ẞ" 2023-01-25 14:11:35 +00:00
es.json data: Shuffle comma/dot keys in OSK keymaps 2022-08-10 17:11:26 +00:00
es+cat.json data: Shuffle comma/dot keys in OSK keymaps 2022-08-10 17:11:26 +00:00
fi.json osk-layouts: Replace "SS" extra key with "ẞ" 2023-01-25 14:11:35 +00:00
fr.json data: Shuffle comma/dot keys in OSK keymaps 2022-08-10 17:11:26 +00:00
ge.json data: Shuffle comma/dot keys in OSK keymaps 2022-08-10 17:11:26 +00:00
gr.json data: Shuffle comma/dot keys in OSK keymaps 2022-08-10 17:11:26 +00:00
hr.json osk-layouts: Replace "SS" extra key with "ẞ" 2023-01-25 14:11:35 +00:00
hu.json data: Shuffle comma/dot keys in OSK keymaps 2022-08-10 17:11:26 +00:00
id.json data: Shuffle comma/dot keys in OSK keymaps 2022-08-10 17:11:26 +00:00
il.json data: Migrate keyboard layouts to 'delete' action for backspace 2022-08-10 17:11:26 +00:00
in+bolnagri.json data: Shuffle comma/dot keys in OSK keymaps 2022-08-10 17:11:26 +00:00
in+mal.json osk-layouts: Fix proportions in malayalam OSK layout 2022-08-10 17:11:26 +00:00
ir.json data: Migrate keyboard layouts to 'delete' action for backspace 2022-08-10 17:11:26 +00:00
is.json data: Shuffle comma/dot keys in OSK keymaps 2022-08-10 17:11:26 +00:00
it.json data: Shuffle comma/dot keys in OSK keymaps 2022-08-10 17:11:26 +00:00
ke.json osk-layouts: Replace "SS" extra key with "ẞ" 2023-01-25 14:11:35 +00:00
kg.json data: Migrate keyboard layouts to 'delete' action for backspace 2022-08-10 17:11:26 +00:00
kh.json data: Shuffle comma/dot keys in OSK keymaps 2022-08-10 17:11:26 +00:00
kr.json keyboard: Add Hangul OSK keymap 2022-08-10 17:11:26 +00:00
la.json data: Shuffle comma/dot keys in OSK keymaps 2022-08-10 17:11:26 +00:00
latam.json data: Shuffle comma/dot keys in OSK keymaps 2022-08-10 17:11:26 +00:00
lt.json osk-layouts: Replace "SS" extra key with "ẞ" 2023-01-25 14:11:35 +00:00
lv.json osk-layouts: Replace "SS" extra key with "ẞ" 2023-01-25 14:11:35 +00:00
mk.json data: Migrate keyboard layouts to 'delete' action for backspace 2022-08-10 17:11:26 +00:00
mn.json data: Migrate keyboard layouts to 'delete' action for backspace 2022-08-10 17:11:26 +00:00
my.json data: Shuffle comma/dot keys in OSK keymaps 2022-08-10 17:11:26 +00:00
nl.json data: Shuffle comma/dot keys in OSK keymaps 2022-08-10 17:11:26 +00:00
no.json osk-layouts: Replace "SS" extra key with "ẞ" 2023-01-25 14:11:35 +00:00
ph.json data: Shuffle comma/dot keys in OSK keymaps 2022-08-10 17:11:26 +00:00
pl.json osk-layouts: Replace "SS" extra key with "ẞ" 2023-01-25 14:11:35 +00:00
pt.json data: Shuffle comma/dot keys in OSK keymaps 2022-08-10 17:11:26 +00:00
ro.json osk-layouts: Replace "SS" extra key with "ẞ" 2023-01-25 14:11:35 +00:00
rs.json data: Migrate keyboard layouts to 'delete' action for backspace 2022-08-10 17:11:26 +00:00
ru.json data: Migrate keyboard layouts to 'delete' action for backspace 2022-08-10 17:11:26 +00:00
se.json osk-layouts: Replace "SS" extra key with "ẞ" 2023-01-25 14:11:35 +00:00
si.json data: Shuffle comma/dot keys in OSK keymaps 2022-08-10 17:11:26 +00:00
sk.json osk-layouts: Replace "SS" extra key with "ẞ" 2023-01-25 14:11:35 +00:00
th.json data: Migrate keyboard layouts to 'delete' action for backspace 2022-08-10 17:11:26 +00:00
tr.json osk-layouts: Replace "SS" extra key with "ẞ" 2023-01-25 14:11:35 +00:00
ua.json data: Migrate keyboard layouts to 'delete' action for backspace 2022-08-10 17:11:26 +00:00
uk.json osk-layouts: Replace "SS" extra key with "ẞ" 2023-01-25 14:11:35 +00:00
us-extended.json osk-layouts: Replace "SS" extra key with "ẞ" 2023-01-25 14:11:35 +00:00
us.json osk-layouts: Replace "SS" extra key with "ẞ" 2023-01-25 14:11:35 +00:00
vn.json data: Shuffle comma/dot keys in OSK keymaps 2022-08-10 17:11:26 +00:00
za.json data: Shuffle comma/dot keys in OSK keymaps 2022-08-10 17:11:26 +00:00