Search Results for "git extension"

Dash to dock extension is an enhanced dash for GNOME Shell. It moves the default dash out of the overview and transforms it in a dock for an easier launching of applications and a faster switching between windows and workspaces without leaving the desktop view improving the workflow in your Linux system or wherever GNOME 3 is running. It supports autohide and intellihide modes as well as a fixed mode. Optional features are available in the extension settings. The extension is theme-friendly.

ImGuiFileDialog is a file selection dialog built for (and using only) Dear ImGui. My primary goal was to have a custom pane with widgets according to file extension. This was not possible using other solutions. ImGuiFileDialog follows the master and docking branch of ImGui . currently ImGui 1.88. The commands create a lib directory where you can store any third-party dependencies used in your project, downloads the ImGuiFileDialog git repository and checks out the Lib_Only branch where the actual library code is located. ...