desktop_prepend_terminal_to_vector


Description:

public void desktop_prepend_terminal_to_vector (int argc, string argv)

Namespace: Gnome
Package: gnome-desktop-3.0