Customizing keyboard shortcuts The different editors in WINDEV, WEBDEV and WINDEV Mobile include many options that can be used directly via keyboard shortcuts... Keyboard shortcuts The main keyboard shortcuts in the editors are as follows...