diff options
author | Harald Judt <h.judt@gmx.at> | 2015-05-07 20:57:23 +0200 |
---|---|---|
committer | Harald Judt <h.judt@gmx.at> | 2015-05-12 09:50:13 +0200 |
commit | bf52f14ac84adf396cb007222017a2188e18d09b (patch) | |
tree | cd4e51cfca5d4db3a4933a139fff7b30b9680bd1 /thunar | |
parent | b75bd637579a8de035f55c29fae3b488742ab021 (diff) | |
download | thunar-bf52f14ac84adf396cb007222017a2188e18d09b.tar.gz |
Remove unmounted files from history when going back or forward
When trying to go back or forward in history, and the target location
has been unmounted, remove the entry from the history.
Diffstat (limited to 'thunar')
-rw-r--r-- | thunar/thunar-history.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/thunar/thunar-history.c b/thunar/thunar-history.c index e787d385..29ce2a09 100644 --- a/thunar/thunar-history.c +++ b/thunar/thunar-history.c @@ -375,7 +375,7 @@ thunar_history_go_back (ThunarHistory *history, /* check if the directory still exists */ directory = thunar_file_get (goto_file, NULL); - if (directory == NULL) + if (directory == NULL || ! thunar_file_is_mounted (directory)) { thunar_history_error_not_found (goto_file, NULL); @@ -456,7 +456,7 @@ thunar_history_go_forward (ThunarHistory *history, /* check if the directory still exists */ directory = thunar_file_get (goto_file, NULL); - if (directory == NULL) + if (directory == NULL || ! thunar_file_is_mounted (directory)) { thunar_history_error_not_found (goto_file, NULL); |