Global options are moved to a separate panel, that is always active in the sequencer, while strip-specific options are kept in the old panel.
I believe this creates a nice separation and helps understand how the proxy system works, especially for beginners.
This diff is based on 25772c9e1d2d5239e1f7f83f6ea0c4d7d1f1df4a