chore(web): commits PR suggestion

Co-authored-by: Marc Durdin <marc@durdin.net>
This commit is contained in:
Joshua Horton 2022-06-06 08:06:20 +07:00 • committed by GitHub
parent ad60fe8c92
commit b8a1beb2b9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -756,14 +756,11 @@ if(!window['keyman']['ui']['name']) {
**/
ui.showOSK = function(event)
{
keymanweb['activatingUI'](true);
// As the Toolbar UI uses more advanced minification, we must preserve the 'osk' field name.
let osk = keymanweb['osk'];
if(!osk) {
keymanweb['activatingUI'](false);
return;
}
keymanweb['activatingUI'](true);
//Toggle OSK on or off
if(osk && keymanweb['getActiveKeyboard']() != '')
{