summaryrefslogtreecommitdiff
path: root/plugins/externaltools/tools
AgeCommit message (Expand)AuthorFilesLines
2019-05-21Reindent all Python sources to ts=4. Strip trailing spaces.Patrick Monnerat7-184/+198
2018-03-05externaltools plugin: outputpanel.ui: avoid GtkHBox and GtkVButtonBoxPablo Barciela1-34/+54
2018-02-10Fix warning with external tools pluginPablo Barciela1-3/+3
2016-12-19externaltools plugin: fix indent a bitmonsta1-7/+7
2016-12-19externaltools plugin: port to gi and libpeasmonsta8-243/+257
2016-12-13externaltools plugin: kill useless codemonsta1-18/+4
2015-12-24remove unneeded 'x' attribute from non-executable filesmonsta3-0/+0
2014-05-19Remove has_separator property from gtkbuilder filesinfirit1-1/+0
2011-11-07using ./config/ instead of ./mate2/Perberos1-12/+12
2011-11-07renaming from gedit to plumaPerberos9-51/+51
2011-11-07initialPerberos11-0/+3521