General improvements

Fixed:

• Tab bar scrolls with content
• Floats and Doubles showing too little decimal places

Added:

• A legend showing what colors means what when diffing tags
• Pages for huge tags with > 500 children
• Tabs now show the file name of a loaded tag