#1001937
  • Created on
    2013-10-28 19:34
  • Reported by
    Mirco Dotta
  • Status
    Fixed
  • Priority
    Normal (3)
  • Assigned to
    Simon Schäfer
  • Milestone
    Hackathon EclipseCon
  • Plan Level
    -
  • Permission type
    Public
  • Due Date
    -

Attachments

Related Tickets

Add new subtask or bug

Add missing `override` in scala.tools.eclipse.ScalaEditor

`createDocumentPartitioner` misses the `override` keyword. For (good) style reason, it would be great to fix it.
User picture
  on 2014-05-07 10:09 *
By Simon Schäfer
Assigned to set to Simon Schäfer
Status changed from New to Fixed
Add `override` keyword to some methods

I can't see these tickets any longer. Sadly I don't know of any linting
tools that could check the entire codebase for the missing `override`,
thus only the three reported classes are fixed and not more.

Fixes #1001938
Fixes #1001937
Fixes #1001936

Branch: master
Commit: scala-ide:7e6bbb08e4