jefferyto/gedit-control-your-tabs
A gedit/Pluma/xed plugin to switch between document tabs using Ctrl+Tab and other common keyboard shortcuts
正在读取项目信息…
A gedit/Pluma/xed plugin to switch between document tabs using Ctrl+Tab and other common keyboard shortcuts