tree 6487f1d8f6ac9df3ac2f11755b67b911614c9eb3
parent 48d46ab7619a49fd626d956814f72b680891181b
author Dhruv Srivastava <dhruvsri@google.com> 1608570195 +0100
committer Dhruv Srivastava <dhruvsri@google.com> 1612802841 +0000

Suppress keyboard shortcuts if user has disabled them

Change 292033 added a user preference to disable all keyboard
shortcuts.
Suppress all keyboard shortcuts if user has enabled this setting.

Bug: Issue 13571
Change-Id: I4750e270aa12c1c82db32fdf357dc91fe8496fc4