static void menu_cb_pasteHistory (ScriptEditor me, EDITOR_ARGS_DIRECT) {
char32 *history = UiHistory_get ();
if (! history || history [0] == U'\0')
Melder_throw (U"No history.");
long length = str32len (history);
if (history [length - 1] != U'\n') {
UiHistory_write (U"\n");
history = UiHistory_get ();
length = str32len (history);
}
if (history [0] == U'\n') {
history ++;
length --;
}
long first = 0, last = 0;
char32 *text = GuiText_getStringAndSelectionPosition (my textWidget, & first, & last);
Melder_free (text);
GuiText_replace (my textWidget, first, last, history);
GuiText_setSelection (my textWidget, first, first + length);
GuiText_scrollToSelection (my textWidget);
}
static void menu_cb_pasteHistory (EDITOR_ARGS) {
EDITOR_IAM (ScriptEditor);
wchar_t *history = UiHistory_get ();
if (history == NULL || history [0] == '\0')
Melder_throw ("No history.");
long length = wcslen (history);
if (history [length - 1] != '\n') {
UiHistory_write (L"\n");
history = UiHistory_get ();
length = wcslen (history);
}
if (history [0] == '\n') {
history ++;
length --;
}
long first = 0, last = 0;
wchar_t *text = my textWidget -> f_getStringAndSelectionPosition (& first, & last);
Melder_free (text);
my textWidget -> f_replace (first, last, history);
my textWidget -> f_setSelection (first, first + length);
my textWidget -> f_scrollToSelection ();
}
