diff options
| author |   mitchell <70453897+667e-11@users.noreply.github.com> | 2008-09-23 09:27:35 -0400 |
|---|---|---|
| committer | mitchell <70453897+667e-11@users.noreply.github.com> | 2008-09-23 09:27:35 -0400 |
| commit | 568f43e554eafa0faaa27e1b56cbed405eb19a92 (patch) | |
| tree | 3174281bc0fe47264653eeaef1381bc2ed6d8623 /src/textadept.c | |
| parent | 04a2a54a241a30d72045f90088353abaf887bbc0 (diff) | |
| download | textadept-568f43e554eafa0faaa27e1b56cbed405eb19a92.tar.gz textadept-568f43e554eafa0faaa27e1b56cbed405eb19a92.zip | |
Removed unused 'resize_split' function.
Diffstat (limited to 'src/textadept.c')
| -rw-r--r-- | src/textadept.c | 16 |
1 files changed, 0 insertions, 16 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 |