IDEUI-2: do not hide notification when mouse is over it.
Merge with master.
IDEUI-10: add horizontal scroll on proposal overflow x.