# HG changeset patch
# User ib
# Date 1324651179 0
# Node ID b370a9fd85b3a426255a607a1d5ba62d1ca8bd30
# Parent  b8a4787f363b6b251733eac25a2213a4da65128d
Cosmetic: Swap /mnt and /media in the file selector path list.

This looks nicer if someone has both.

diff -r b8a4787f363b -r b370a9fd85b3 gui/ui/gtk/fileselect.c
--- a/gui/ui/gtk/fileselect.c	Fri Dec 23 13:41:25 2011 +0000
+++ b/gui/ui/gtk/fileselect.c	Fri Dec 23 14:39:39 2011 +0000
@@ -355,8 +355,8 @@
  free( dir );
  if ( getenv( "HOME" ) ) fsTopList_items=g_list_append( fsTopList_items,getenv( "HOME" ) );
  fsTopList_items=g_list_append( fsTopList_items,"/home" );
+ if (stat( "/media",&f ) == 0) fsTopList_items=g_list_append( fsTopList_items,"/media" );
  if (stat( "/mnt",&f ) == 0) fsTopList_items=g_list_append( fsTopList_items,"/mnt" );
- if (stat( "/media",&f ) == 0) fsTopList_items=g_list_append( fsTopList_items,"/media" );
  fsTopList_items=g_list_append( fsTopList_items,"/" );
  gtk_combo_set_popdown_strings( GTK_COMBO( fsCombo4 ),fsTopList_items );