etiennelenhart/Eiffel

Change 'handled' property in 'ViewEvent' to internal

Closed this issue · 0 comments

ViewEvent's handled property should be marked as internal since event handling should be done using the peek() extension functions.