Como uma ligeira variação da sugestão de @type - você pode definir "emblemas" em arquivos, que são pequenos ícones de sobreposição, disponíveis na caixa de diálogo Propriedades.
E, se você se sentir realmente aventureiro (mas não suficientemente aventureiro para escrever seu próprio plugin), poderá "automatizar" o processo:
-
investigue onde o Gnome armazena emblemas de arquivos. Veja este link para alguns detalhes iniciais (atualização - a informação existe obsoleto, veja abaixo).
-
escreva um script simples que adicione um emblema ao arquivo e, em seguida, inicie o media player. O link acima tem até um script de exemplo para ler os emblemas
-
configure o script como o aplicativo preferido para abrir arquivos de vídeo
É claro que o script não será capaz de dizer se você terminou de assistir ao vídeo, se estava assistindo com cuidado ou se deseja assisti-lo novamente. Você pode definir os emblemas manualmente para isso.
UPD: Na verdade, aqui está como definir emblemas em um arquivo . O resto é trivial ...
UPD2: Aqui está um script simples que rotula um arquivo e o abre em totem:
#!/bin/sh
gvfs-set-attribute -t stringv "" metadata::emblems favorite
totem &
Salve-o em algum lugar e defina o bit executável. Então você apenas clique com o botão direito em um vídeo - Abrir com - Outro aplicativo - Use um comando personalizado - [x] Lembre-se deste aplicativo - divirta-se! :)