GitLab

Task-Id: BAUHAUS-472

Handle the new version's formatting of integer types as '0n...'.
List shorts as int-types.

Patch by: Bill King

I fixed the tab offset so that we remove the double
border of the first tab also when only one tab is
visible.

Roundtrips are more expensive then plain data transfer. So fetch larger
chunks and hope there will be fewer. Works well in practice.

The check should be done in the semantic phase.