Multi Gnome Terminal is an enhanced version of gnome-terminal which has the following features added: - Many terminals in each window - Switch between terminals using shortcuts - Execution of user defined commands in new terminals - Notification of terminal states (changed, changing, unchanged) using different tabs colors - Reorderable tabs All these extensions are inspired by screen and konsole (the kde2 terminal). WWW: http://multignometerm.sourceforge.net/ tps://www.lant.com.tw/~lantw44/git/freebsd-ports-gnome' title='freebsd-ports-gnome Git repository'/>

FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

about summary refs log tree commit diff stats

path: root/math/octave-forge-mapping

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add NO_STAGE all over the place in preparation for the staging support (cat: ↵	bapt	2013-09-21