Und bringt diesen Device Monitor mit.
Ich habe auch mit Desktop Integration experimentiert (über generierte .desktop für jedes Device). Aber das Verhalten der WMs ist da anscheinend katastrophal. Es gibt keinen File Handle auf geöffnete Verzeichnisse, so dass das direkt wieder geunmountet wird. Jedoch pollen die Dinger deshalb wird es ständig gemountet/ungemountet. Und noch schlimmer, wenn man das Fenster zumacht pollt zumindest e17 immer weiter, bis man den neu startet.
Ich habe auch mit Desktop Integration experimentiert (über generierte .desktop für jedes Device). Aber das Verhalten der WMs ist da anscheinend katastrophal. Es gibt keinen File Handle auf geöffnete Verzeichnisse, so dass das direkt wieder geunmountet wird. Jedoch pollen die Dinger deshalb wird es ständig gemountet/ungemountet. Und noch schlimmer, wenn man das Fenster zumacht pollt zumindest e17 immer weiter, bis man den neu startet.
