comparison: ui/gtk/toolkit.c
ui/gtk/toolkit.c
- changeset 27
- 77b09bb52ca0
- parent 24
- 06bceda81a03
- child 29
- c96169444d88
equal
deleted
inserted
replaced
| 26:a137277f9173 | 27:77b09bb52ca0 |
|---|---|
| 26 * POSSIBILITY OF SUCH DAMAGE. | 26 * POSSIBILITY OF SUCH DAMAGE. |
| 27 */ | 27 */ |
| 28 | 28 |
| 29 #include <stdio.h> | 29 #include <stdio.h> |
| 30 #include <stdlib.h> | 30 #include <stdlib.h> |
| 31 #include <string.h> | |
| 31 | 32 |
| 32 #include "toolkit.h" | 33 #include "toolkit.h" |
| 33 #include "toolbar.h" | 34 #include "toolbar.h" |
| 34 #include "../common/document.h" | 35 #include "../common/document.h" |
| 35 #include "../common/properties.h" | 36 #include "../common/properties.h" |
| 76 | 77 |
| 77 void ui_set_enabled(UIWIDGET widget, int enabled) { | 78 void ui_set_enabled(UIWIDGET widget, int enabled) { |
| 78 gtk_widget_set_sensitive(widget, enabled); | 79 gtk_widget_set_sensitive(widget, enabled); |
| 79 } | 80 } |
| 80 | 81 |
| 82 void ui_clipboard_set(char *str) { | |
| 83 GtkClipboard *cb = gtk_clipboard_get(GDK_SELECTION_CLIPBOARD); | |
| 84 gtk_clipboard_set_text(cb, str, strlen(str)); | |
| 85 } | |
| 86 | |
| 87 char* ui_clipboard_get() { | |
| 88 GtkClipboard *cb = gtk_clipboard_get(GDK_SELECTION_CLIPBOARD); | |
| 89 char *str = gtk_clipboard_wait_for_text(cb); | |
| 90 if(str) { | |
| 91 char *copy = strdup(str); | |
| 92 g_free(str); | |
| 93 return copy; | |
| 94 } else { | |
| 95 return NULL; | |
| 96 } | |
| 97 } | |
| 81 | 98 |
| 82 void ui_destroy_userdata(GtkWidget *object, void *userdata) { | 99 void ui_destroy_userdata(GtkWidget *object, void *userdata) { |
| 83 free(userdata); | 100 free(userdata); |
| 84 } | 101 } |
