[update 1.2] #12254

12254
-----

Issue 3287: Class builder depends on Scanner
Issue 3289: FinderUI>>initialize (searchedTextListMaxSize is Undeclared
Issue 3290: TextEditor>>disregardNextMouseUp (oldInterval is Undeclared)
--
Marcus Denker  -- http://www.marcusdenker.de
INRIA Lille -- Nord Europe. Team RMoD.