gnome-shell-extension-ddterm:GNOME Shell的另一个下拉终端扩展。 带标签。 在Wayland上本地工作

【文件属性】：

文件名称：gnome-shell-extension-ddterm:GNOME Shell的另一个下拉终端扩展。 带标签。 在Wayland上本地工作

文件大小：2.17MB

文件格式：ZIP

更新时间：2024-04-06 17:46:10

terminal gnome gnome-shell wayland terminal-app

GNOME Shell的另一个下拉终端扩展 受启发 特色 在Wayland上本地运行 可以通过使用鼠标拖动边框来调整终端窗口的大小 Preferences窗口具有许多不同的设置 正在安装 安装扩展的最简单方法是转到 。 但是，对审核过程有点慢，因此可以在GitHub上找到一个新版本，但在还没有。 如果要从GitHub安装： 从预建套件安装 您可以从“页面下载发行的版本。 您需要文件[e-mail] 。 或者，您可以从下载分支的预构建软件包。 下载它，然后运行： $ gnome-extensions install -f /path/to/[e-mail] 重新启动GNOME Shell 之后，重新启动GNOME Shell-注销，

【文件预览】：
gnome-shell-extension-ddterm-master
----.eslintrc.yml(274B)
----.gitignore(152B)
----menus.ui(5KB)
----com.github.amezin.ddterm(109B)
----util.js(2KB)
----com.github.amezin.ddterm.Extension.xml(275B)
----prefs.js(16KB)
----Makefile(3KB)
----do-in-docker.sh(240B)
----schemas()
--------com.github.amezin.ddterm.gschema.xml(10KB)
----LICENSE(34KB)
----metadata.json(377B)
----extension.js(11KB)
----.github()
--------workflows()
----application.js(7KB)
----3to4-fixup.xsl(724B)
----README.md(4KB)
----appwindow.js(10KB)
----style.css(64B)
----prefsdialog.js(742B)
----.eslintignore(15B)
----glade()
--------prefs.ui(96KB)
--------terminalpage.ui(4KB)
--------catalogs()
--------prefsdialog.ui(1KB)
--------appwindow.ui(5KB)
----test-prefs-gtk4.js(2KB)
----lint()
--------eslintrc-gjs.yml(6KB)
----docs()
--------Makefile(95B)
--------prefs3.png(88KB)
--------prefs4.png(94KB)
--------prefs6.png(65KB)
--------prefs1.png(124KB)
--------prefs8.png(169KB)
--------prefs5.png(61KB)
--------prefs.gif(817KB)
--------screenshot.png(607KB)
--------prefs7.png(83KB)
--------prefs2.png(143KB)
----terminalpage.js(21KB)
----release.sh(495B)