[FIX] Improve synchronization points
This is an attempt to make synchronization points more useful:
- They're now matched in line order, instead of insertion order.
- Dangling syncpoints (not yet matched in other panes) can be moved and/or removed.
- Matched syncpoints can be removed (removing the whole line)
- Adds user documentation for syncpoints.
This is my first foray in GTK-land, so some roughness is to be expected.
Fixes #381 (closed)
TODO
-
Update the gear menu.
Edited by Kai Willadsen