Thanks for this! A couple of comments:
8 + string uri_desktop = "file://" + @"$(Environment.get_user_special_dir(UserDirectory.DESKTOP))";
Don't do this pls, use Gio's File.new_for_path and the get_uri () method in the File interface.
17 + var desktop_display_name = Uri.unescape_string (uri_desktop); 18 + desktop_display_name = Filename.display_basename (desktop_display_name);
Eeek, again, we have File.get_parse_name()
I also think that the desktop bookmark (which isn't a bookmark) should be last in the list, so it doesn't stick out.
« Back to merge proposal
Thanks for this! A couple of comments:
8 + string uri_desktop = "file://" + @"$(Environment .get_user_ special_ dir(UserDirecto ry.DESKTOP) )";
Don't do this pls, use Gio's File.new_for_path and the get_uri () method in the File interface.
17 + var desktop_ display_ name = Uri.unescape_string (uri_desktop); display_ name = Filename. display_ basename (desktop_ display_ name);
18 + desktop_
Eeek, again, we have File.get_ parse_name( )
I also think that the desktop bookmark (which isn't a bookmark) should be last in the list, so it doesn't stick out.