Open rneuber1 opened 8 years ago
The jump list feature is great, but it does not work properly: The jump lists are not updated after the connections have been modified and sometimes the wrong connection is opened:
The jump list feature is great, but it does not work properly: The jump lists are not updated after the connections have been modified and sometimes the wrong connection is opened: