Gedit-plug-ins Gedit-plug-ins zijn een set plug-ins voor Gedit.
Download nu

Gedit-plug-ins Rangschikking & Samenvatting

Gedit-plug-ins Tags

teksteditor tekst Gedit Geitit-plug-ins Gedit-editor

Gedit-plug-ins Beschrijving

Gedit-plug-ins zijn een set plug-ins voor Gedit. Gedit-plugins zijn een set plug-ins voor Gedit.Installation: voor het moment dat je moet ./configure met --prefix = hetzelfde voorvoegsel als je Gedit geconfigureerd. Hoe te kiezen welke plug-ins om te bouwen :./ configure - Withith -Plugins = PL1, PL2, ... Where PL1, PL2 ... zijn een van de volgende: BracketComplection voegt automatisch afsluitende beugels toe .Charmap voegt speciale tekens in door op hen te klikken.codeComment Commentaar en Uncomment-blokken van Code.Colorppicker Kleur in een dialoogvenster en plaats de hexadecimale representatie.joinlines Word lid van verschillende regels of gesplitst lange onenheid.Showtabbar Voeg een menu-item toe om de tabbar te tonen / verbergen Tabbar.Smartspaces vergeten dat u geen tabel in de onderste deelvenster gebruikt. Alle bovenstaande plug-ins

Gedit-plug-ins Gerelateerde software