worklist/hifi — pull request #1405 by ey6es (2013-12-19 01:31:13+00:00)
Title: Fix for menu shortcuts; just include widget library rather than using aw...

...kward

workaround.