gedit-plugins | set of plugins for gedit | Mehr ...
gedit-plugins contain a set of plugins for gedit, GNOME's text editor. . The following plugins are included: * Draw Spaces: Draw Spaces and Tabs * Code comment: Comment out or uncomment a selected block of code. * Smart Spaces: Forget you're not using tabulations. * Embedded Terminal: Embed a terminal in the bottom pane. * Bracket Completion: Automatically adds closing brackets. * Character Map: Insert special characters just by clicking on them. * Color Picker: Pick a color from a dialog and insert its hexadecimal representation. * Join/Split Lines: Join several lines or split long ones * Show/Hide Tabbar: Add a menu entry to show/hide the tabbar. * Session Saver: Save and restore your working sessions
