diff options
| author | Ivan Timofeev <timofeev.i.s@gmail.com> | 2012-08-10 16:14:17 +0400 |
|---|---|---|
| committer | Petr Mladek <pmladek@suse.cz> | 2012-08-13 17:19:00 +0200 |
| commit | cbb047527d856258b7b925dc37f56f0e9b0b3e90 (patch) | |
| tree | 8dcf358359983344c8ef55d8ff35101734ed40b3 /jvmfwk/source | |
| parent | 93e819418070deb2750a918a1c3ea52376558d21 (diff) | |
Page Break: don't show if mouse is gone and button is still invisible (fdo#46518)
it seems when the mouse leaves the dashed line, it immediately appears inside
a button (if the mouse motion is not super-fast).
Change-Id: I43c792fdba59feafd761bde8529a8683c07bf3d3
Signed-off-by: Petr Mladek <pmladek@suse.cz>
Diffstat (limited to 'jvmfwk/source')
0 files changed, 0 insertions, 0 deletions