tree fd0844a5dd8723d10b45dfa9b0dff515e3bd0ee7
parent e53853ed808556220e6e5ada183484b881bda7b9
author Ben Rohlfs <brohlfs@google.com> 1602667636 +0200
committer Ben Rohlfs <brohlfs@google.com> 1602667801 +0000

Change the tooltip of the 'MODIFY' button to be fancier

This is simply accomplished by using the 'has-tooltip' attribute, which
triggers Gerrit's custom gr-tooltip-mixin.

Bug: Issue 13506
Change-Id: Ibbf09bec165aa37b17a9d5636e305278046d4042