Until now, all the menu entries were shown in a continuous list, one
after another. This patch allows to add separators between entries.