Mouse buttons freeze after editing

It might be related to for example this report: Annoying UI issue - work area regularly "locking up"