You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
// "\n\nTo cut/copy/paste, see the Edit menu and the corresponding hotkeys."
1925
+
// "\n\nClipboard history items can be starred like module favorites. When starred, they are saved as fragments under \"Saved Subnetworks,\" which are preserved in application settings. "
1926
+
// "\n\nThe user may edit the text of the saved subnetwork items to give them informative names, which are also saved. Hover over them to see a tooltip representation of the saved fragment."
1927
+
// "\n\nCurrently there is no way to delete a saved subnetwork in the GUI."
0 commit comments