global role list filter gets applied to available roles while editing a role

Problem

When a user enters a global role filter to find a specific role to edit, after they select the role to edit, the available roles list on the role edit page is also filtered by the global role filter.

Reproduce

Reproduce video, also showing the workaround: role-filter-bug-and-workaround.mp4

1. Start a brand new NXRM instance. By default there are only two roles defined which makes this reproduce easy to see.
2. Create a new role named "test-admin". Assign it only the nx-all privilege and save it.
3. Back at the master role list, there are now 3 roles listed: nx-admin, nx-anonymous, and test-admin. In the top-right filter box, type "admin" so that the list only shows nx-admin and test-admin roles.
4. Click the test-admin role to edit it again. Notice the Available Roles list only contains nx-admin. nx-anonymous is filtered out. The Available Roles filter box is empty. The global filter is incorrectly applied to the available roles list.

This is a regression introduced sometime after 3.8.0, probably when the ExtJS front end was updated.

Workaround

While viewing the role you want to edit, use the browser refresh button to reload the screen. This will remove the global filter, and then all available roles will be visible while editing the role.