-
Paolo Maggi authored
2006-02-12 Paolo Maggi <paolo@gnome.org> * plugins/externaltools/tools/tools.glade: use GTK_SHADOW_IN for the scrolled window in the output panel
1d3f5029
2006-02-12 Paolo Maggi <paolo@gnome.org> * plugins/externaltools/tools/tools.glade: use GTK_SHADOW_IN for the scrolled window in the output panel