comparison .settings/org.eclipse.jdt.ui.prefs @ 437:208b31032318

fix f11 and f12 keys on full hardware keyboards
author Carl Byington <carl@five-ten-sg.com>
date Fri, 19 Jun 2015 13:41:57 -0700
parents 0ce5cc452d02
children
comparison
equal deleted inserted replaced
436:0dd7fbeba5b1 437:208b31032318