Enrico Forestieri 24cc72266e Change the way a filepath is displayed
Instead of displaying the complete path, display the file name
first and then the path enclosed in parenthesis.

In this way files with same name but different path can still be
distinguished and, at the same time, files with different names
but same path are more easily spotted in case the complete path
is truncated by file managers.
2023-12-29 19:20:25 +01:00
..
2020-11-21 19:54:43 +01:00
2022-04-24 16:51:42 +02:00
2023-09-01 16:45:15 +02:00
2020-11-01 22:23:26 +02:00
2020-11-01 22:23:26 +02:00
2020-10-05 14:55:00 +02:00
2020-10-05 09:37:15 +02:00
2022-11-18 17:19:50 +01:00
2022-02-13 04:57:27 +01:00
2020-02-29 00:06:35 -05:00
2020-11-21 00:32:47 +02:00
2023-11-06 14:18:03 +01:00
2020-11-21 20:32:16 +02:00
2020-11-25 02:43:16 +02:00
2018-08-20 09:25:22 +02:00
2020-01-27 15:34:27 +01:00
2020-06-25 23:17:18 +02:00
2023-06-11 13:15:55 +02:00
2022-03-05 02:19:38 +01:00
2023-09-04 21:50:51 +02:00
2023-09-05 20:48:34 +02:00
2020-06-25 23:17:18 +02:00
2023-03-03 10:49:32 +01:00
2020-12-19 22:52:57 +02:00
2020-02-29 00:06:35 -05:00
2020-06-25 23:17:18 +02:00
2019-04-27 12:53:05 +02:00