Opened 17 years ago
Last modified 11 years ago
#34 assigned task
Event processing cleanups
| Reported by: | Owned by: | David Aspinall | |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | 1:pg-eclipse | Keywords: | |
| Cc: |
Description (last modified by )
Event model needs cleanup/simplification to be more efficient.
- Re-engage Ahsan's PGIP-filter in SessionManager.
- Consider separating internally generated events (!ScriptingUIEvents) from PGIP events generated by incoming prover messages. Incoming prover messages can be fast and furious, and shouldn't be sent around to every control under the sun.
Change History (4)
comment:1 Changed 17 years ago by
| Milestone: | PG-Eclipse-1.1.0 → PG-Eclipse-1.0.6 |
|---|---|
| Status: | new → assigned |
| Summary: | Event generation cleanups → Event processing cleanups |
comment:2 Changed 17 years ago by
| Description: | modified (diff) |
|---|---|
| Type: | defect → task |
comment:3 Changed 16 years ago by
| Milestone: | PG-Eclipse-1.0.6 → PG-Eclipse-1.0.7 |
|---|
Note: See
TracTickets for help on using
tickets.
Many simplifications now made. Further cleanups/simplification possible, investigate for next release.