gatuno-terminal/src/profile-editor.h

35 lines
1.1 KiB
C
Raw Normal View History

2011-11-06 14:13:49 -06:00
/*
* Copyright © 2002 Havoc Pennington
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Library General Public
* License as published by the Free Software Foundation; either
* version 3 of the License, or (at your option) any later version.
*
* This library is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Library General Public License for more details.
*
* You should have received a copy of the GNU Library General Public
* License along with this library; if not, write to the
2012-10-11 18:34:18 -05:00
* Free Software Foundation, Inc., 51 Franklin St, Fifth Floor,
* Boston, MA 02110-1301, USA.
2011-11-06 14:13:49 -06:00
*/
#ifndef TERMINAL_PROFILE_EDITOR_H
#define TERMINAL_PROFILE_EDITOR_H
#include "terminal-profile.h"
#include <gtk/gtk.h>
G_BEGIN_DECLS
void terminal_profile_edit (TerminalProfile *profile,
GtkWindow *transient_parent,
const char *widget_name);
G_END_DECLS
#endif /* TERMINAL_PROFILE_EDITOR_H */