I have in 4.3 with a default US keyboard. When I set wsconsctl keyboard.encoding=de in order to get a German one, nothing happens! I get following reply:
keyboard.encoding -> de but my keyboard is still on the US charset! What do I miss? Thanks fot your help Tony