>>>>> "Peter" == Peter Kümmel <[EMAIL PROTECTED]> writes:
Peter> Should we disable the context menu (right mouse click) of the Peter> scrollbar? Currently the functionality is not bug free? And I do not see its usefulness, so I think your patch is right. JMarc
