InfoBar should really receive the resize event, to know the window width in order to do horizontal scrolling of the command line when it doesn't fit in the screen. Although currently it doesn't scroll the command line at all (see issue #2527) and just ignores the resize event, but we should fix that anyway, so let's forward the resize event to it.
InfoBar should really receive the resize event, to know the window width in order to do horizontal scrolling of the command line when it doesn't fit in the screen. Although currently it doesn't scroll the command line at all (see issue #2527) and just ignores the resize event, but we should fix that anyway, so let's forward the resize event to it.