support for idea-icons (using ideaIC-129.354/platform/icons/src from IntelliJ IDEA Community Edition 12.1.2);

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52471 ff0e0bb8159755f6735557d9cfe6301ef0c34eb5
load icons via options -- prefer IntelliJ IDEA for now;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52472 3a43a8b1ecb0212f80af1c479b880d34b89b09d4
tuned signature;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52477 025b3777e5929d7d580e3ab1fd71cba10344ebf9
manage popup windows via PopupFactory, which prefers light-weight JComponent, but might fall back on JWindow (despite JPanel of 0f88591478e6);
more explicit tooltip hierarchy: manage exactly the visible stack -- caching is part of PopupFactory;
auxiliary geometry measurement via single hidden window;
tuned signature;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52478 0a1db0d02628828bfd3d108002e6fead2c68e980
more aggresive ESCAPE handling, while retaining its regular meaning for jEdit;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52479 bb516d01d2595b36cb06c4165792adbaa32b7ea5
tuned signature;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52480 6a762cda56bddfddad40b0e2a1e959d39823b071
update text only once;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52481 d977e7eb7839169edbba37e9ea561ea7d1896b7c
explicit Pretty_Tooltip.dismiss_all due to slightly changed focus mechanics;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52482 5b7c4fb41511073faf94a608df12ac5b76c52c73
more direct use of screen location: avoid misplacement if parent component has already disappeared asynchronously;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52483 478ef4fa3d5a65b0d76497304ca5d72aa1b7abcb
avoid potential race condition of focusLost/dismiss vs. popup.show;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52484 23a09c6397003d42392ba2fd8bdb5d727c24183b
visually explicit focus (behaviour dependent on platform and look-and-feel);

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52491 d435febab3273cd5b468ae86a9fbe9ecef776cd1
tighten tooltip size;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52492 0f0f80e41581c2a44833406a49cb7f35bf80f30b
less intrusive border, notably on windows;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52493 ee7218d281595e15cd89013fd4de1bd25637ff2a
clarified tooltip timing of pending event and active state;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52494 a1e09340c0f4e1ba3c6c95e3773cc6ecab061716
more robust delayed invocation;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52495 bf45606912e35eed3906f3f4b360af451a4fc709
avoid repeated window popup when the mouse is moved over the same content (again, see also cb677987b7e3 and 0a1db0d02628);

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52496 8188e528666260d5cf1525af4ed0b0d7d65e75ed
tuned signature;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52497 2dd4e4a368e3711e47ce3181a794d45b4dbccc82
clarified focus after dismiss;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52498 d802431fe3569404c86ce9ba48984a3e4706296b
tuned signature;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52507 27925b58d6bdf67b95d462b92b932c03deb963f9
tuned;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@52508 98475be0b1a211e2b7e4e2c069345f75aaa99824