什么是Arte.tv Additional buttons for the Player？

Arte.tv Additional buttons for the Player是由Vincent Denoual开发的Chrome扩展程序，该扩展的主要功能是“Adds a button to display a mini-player and a button for a in-tab fullscreen display”。

扩展截图

下载Arte.tv Additional buttons for the Player扩展crx文件

下载Arte.tv Additional buttons for the Player扩展crx格式的文件，手动将Chrome插件安装到浏览器中，也可以将crx文件分享给朋友，轻松安装Chrome插件。

扩展使用说明

Adds two more buttons to the Arte.tv Player, accessible from https://www.arte.tv.

> The first button to display a mini-player, that shows above all other windows hence permits watching TV while carrying out other tasks.
> The second button displays the video in fullscreen within the tab, to leave the possibility to change tabs without quitting the fullscreen mode.

Both buttons are displayed at the bottom right of the Player, in flashy green.

This add-on is independent from Arte.tv.

________
Version 0.0.2: Added localization (EN, FR, DE, IT, ES, PL)
Version 0.0.1: First version

扩展基本信息

名称	Arte.tv Additional buttons for the Player
ID	igfikgghpnhggbmimjppfdillcbnddjf
官方URL	https://chromewebstore.google.com/detail/artetv-additional-buttons/igfikgghpnhggbmimjppfdillcbnddjf
简介	Adds a button to display a mini-player and a button for a in-tab fullscreen display
文件大小	41.14 KB
安装次数	55
当前版本	0.0.2
更新时间	2023-11-06
上架时间	2022-01-17
开发者	Vincent Denoual
电子邮箱	[email protected]
付费类型	free
扩展官网	https://chrome.google.com/webstore/search/vincentdenoual?_category=extensions
帮助页面URL	https://www.linkedin.com/in/vincentdenoual/
支持的语言	de,en,fr,es,it,pl
manifest.json
{ "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx", "manifest_version": 3, "name": "__MSG_extName__", "description": "__MSG_extDescription__", "version": "0.0.2", "author": "Vincent Denoual", "default_locale": "en", "content_scripts": [ { "matches": [ "https:\/\/www.arte.tv\/*" ], "js": [ "content_script.js" ], "run_at": "document_end" } ], "action": { "default_icon": { "16": "icon16.png", "24": "icon24.png", "32": "icon32.png", "48": "icon48.png" } }, "icons": { "16": "icon16.png", "24": "icon24.png", "32": "icon32.png", "48": "icon48.png" } }