Hi Khushboo, I did some changes on your patch: 0001 - Your original patch 0002 - Convert keyboard.js to ES6 0003 - Refactoring of the keyboard.js file(some one letter variables and other code)
Thanks Joao On Thu, Apr 26, 2018 at 5:34 AM Khushboo Vashi < khushboo.va...@enterprisedb.com> wrote: > Hi, > > Please find the attached patch to fix the RM #3284 : F5 key not working > consistently. > > - Added the configurable keyboard shortcut (default F5) to refresh the > browser tree nodes. > > > Thanks, > Khushboo >
0001-RM_3284_v1.patch
Description: Binary data
0002-Convert-keyboard.js-to-ES6.patch
Description: Binary data
0003-Refactoring-of-keyboard.js.patch
Description: Binary data
