25 #include "pips_config.h"
31 #include <sys/resource.h>
37 #if (defined(TEXT_TYPE))
43 #include "constants.h"
60 #include "resources.h"
64 #include "wpips_transform_menu_layout.h"
79 void (*func)(GtkWidget *);
80 func = (void(*)(GtkWidget *)) _func;
88 function_to_apply_on_each_menu_item);
112 =
strdup(transformation_name_to_apply);
125 if (modulename == NULL) {
132 != NULL; current_transformation++)
150 GtkWidget * menu_item;
155 g_signal_connect(G_OBJECT(
edit_menu_item),
"activate", G_CALLBACK(
165 != NULL; current_transformation++) {
169 gtk_separator_menu_item_new());
171 menu_item = gtk_menu_item_new_with_label(
173 g_signal_connect(G_OBJECT(menu_item),
"activate",
180 gtk_menu_append(GTK_MENU(
transform_menu), gtk_separator_menu_item_new());
float a2sf[2] __attribute__((aligned(16)))
USER generates a user error (i.e., non fatal) by printing the given MSG according to the FMT.
string db_get_current_module_name(void)
Also used to check whether set...
const char * module_name(const char *s)
Return the module part of an entity name.
#define EDIT_VIEW
A special view that gives the .f source mainly for edition:
#define GPIPS_MENU_SEPARATOR_ID
How it is specified in the layout .h:
GtkWidget * main_window_menu_bar
void execute_main_loop_command(gpips_main_loop_command_type command)
To ask pipsmake to stop as soon as possible:
void edit_notify(GtkWidget *widget, gpointer data)
GtkWidget * edit_menu_item
void disable_item(GtkWidget *item)
void enable_item(GtkWidget *item)
void prompt_user(string a_printf_format,...)
void display_memory_usage()
const char * gpips_gtk_menu_item_get_label(GtkWidget *w)
bool safe_apply(const char *phase_n, const char *module_n)