Rev 7271 | Rev 7521 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 7271 | Rev 7444 | ||
---|---|---|---|
Line 83... | Line 83... | ||
83 | 83 | ||
84 | tools[TOOL_SCREEN_COPY].id = TOOL_SCREEN_COPY; |
84 | tools[TOOL_SCREEN_COPY].id = TOOL_SCREEN_COPY; |
85 | tools[TOOL_SCREEN_COPY].cursor = NULL; |
85 | tools[TOOL_SCREEN_COPY].cursor = NULL; |
86 | tools[TOOL_SCREEN_COPY].activate = #ScreenCopy_activate; |
86 | tools[TOOL_SCREEN_COPY].activate = #ScreenCopy_activate; |
- | 87 | tools[TOOL_SCREEN_COPY].onMouseEvent = #ScreenCopy_onMouseEvent; |
|
87 | tools[TOOL_SCREEN_COPY].onMouseEvent = #ScreenCopy_onMouseEvent; |
88 | tools[TOOL_SCREEN_COPY].onKeyEvent = #ScreenCopy_onKeyEvent; |
Line 88... | Line 89... | ||
88 | } |
89 | } |
89 | 90 |