Ben Sturmfels at 2018-01-21T03:05:58Z
@Claes Wallin (韋嘉誠) What happens when you restart the system or log out though, do you just Ctrl-r back to the definition?