Parent Directory | Revision Log | Patch
revision 1.22 by mudyc, Mon Aug 11 12:42:34 2003 UTC | revision 1.23 by mudyc, Mon Aug 11 14:15:20 2003 UTC | |
---|---|---|
# | Line 242 class MouseMenu: | Line 242 class MouseMenu: |
242 | cs = vs.matcher.getCS(0, 'MOUSE_MENU') | cs = vs.matcher.getCS(0, 'MOUSE_MENU') |
243 | key = vs.getKeyAt(cs, ev.getX(), ev.getY(), None) | key = vs.getKeyAt(cs, ev.getX(), ev.getY(), None) |
244 | if key != None: | if key != None: |
245 | self.list.colorize(key, java.awt.Color.red) | |
246 | key = key.object | key = key.object |
247 | if isinstance(key, self.Action): | if isinstance(key, self.Action): |
248 | key.run() | key.run() |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |