Second BBC - patch

This patch contains

• Bugfixes
• Beautification of code
• Convenience features

Bugfixes

• The schematic now finally can be scrolled again.
• A bunch of minor bugs related to saving and loading have been fixed. This breaks compatibility with older saves.
• The ID-handling and naming of things has bee reworked. Naming clashes in projects with multiple documents should be gone now. A related bug, preventing successful SAT-checking has been fixed as well.

Beautifications

• Ports now look much fancier, have meaningful glyphs that adapt to whether the port is connected or not. Also they can no more mistaken for negations.
• A slightly greyed area around the port indicates its active zone.
• Tooltips now look really nice and useful
• q2d now has a logo.

Convenience Features

• Component descriptors, that do not specify a graphics file for a given component now will use auto-generated graphics for the component instances.
• All function specifications can now be done as CNF as well. This is especially nice for component descriptors.
• Components and module ports can be moved around and wires will follow them.