Skip to content

Keymaps: adjust keybindings-widget column spacing on firefox#6989

Merged
vince-fugnitto merged 1 commit intoeclipse-theia:masterfrom Anasshahidd21:marginFixJan 29, 2020

Commits

Commits on Jan 29, 2020