Disable button after click in UI.

This is to prevent users from accidentally sending multiple requests to
the server, causing race issues. It won't completely solve the problem,
as multiple users could still potentially hit the button at the same
time, but should mitigate it in the vast majority of cases.

Change-Id: Icd0bdf4a92aad2b28ab3333c7e0eb06f6291b262
1 file changed
tree: c4baaed4ad276ef82b0175ff5dc1f1cccd51a882
  1. src/
  2. .gitignore
  3. BUILD
  4. external_plugin_deps.bzl
  5. LICENSE
  6. LICENSE-re2j