diff options
author | 2008-09-23 09:27:35 -0400 | |
---|---|---|
committer | 2008-09-23 09:27:35 -0400 | |
commit | 568f43e554eafa0faaa27e1b56cbed405eb19a92 (patch) | |
tree | 3174281bc0fe47264653eeaef1381bc2ed6d8623 | |
parent | 04a2a54a241a30d72045f90088353abaf887bbc0 (diff) | |
download | textadept-568f43e554eafa0faaa27e1b56cbed405eb19a92.tar.gz textadept-568f43e554eafa0faaa27e1b56cbed405eb19a92.zip |
Removed unused 'resize_split' function.
-rw-r--r-- | src/textadept.c | 16 | ||||
-rw-r--r-- | src/textadept.h | 1 |
2 files changed, 0 insertions, 17 deletions
diff --git a/src/textadept.c b/src/textadept.c index 9aaeccd6..a500a699 100644 --- a/src/textadept.c +++ b/src/textadept.c @@ -354,22 +354,6 @@ bool unsplit_window(GtkWidget *editor) { } /** - * Resizes a GTK pane. - * @param editor The Scintilla window (typically the current one) contained in - * the GTK pane to resize. - * @param pos The position to resize to. - * @param increment Flag indicating whether or not the resizing is incremental. - * If true, pos is added to the current pane position; otherwise the position - * is absolute. - * Defaults to true. - */ -void resize_split(GtkWidget *editor, int pos, bool increment) { - GtkWidget *pane = gtk_widget_get_parent(editor); - int width = gtk_paned_get_position(GTK_PANED(pane)); - gtk_paned_set_position(GTK_PANED(pane), pos + (increment ? width : 0)); -} - -/** * Sets a user-defined GTK menubar and displays it. * @param new_menubar The GTK menubar. * @see l_ta_mt_newindex diff --git a/src/textadept.h b/src/textadept.h index 05258ba5..52e8a315 100644 --- a/src/textadept.h +++ b/src/textadept.h @@ -50,7 +50,6 @@ void new_scintilla_buffer(ScintillaObject *sci, bool create, bool addref); void remove_scintilla_buffer(sptr_t doc); void split_window(GtkWidget *editor, bool vertical); bool unsplit_window(GtkWidget *editor); -void resize_split(GtkWidget *editor, int pos, bool increment); void set_menubar(GtkWidget *menubar); void set_statusbar_text(const char *text); void set_docstatusbar_text(const char *text); |