mirror of
git://projects.qi-hardware.com/fped.git
synced 2024-09-30 05:22:53 +03:00
4c3dea7111
This is a little awkward: to change a variable used as key to an assignment, one first had to change the name such that it doesn't clash, hit Enter, and then edit the variable again to change its type. Variable type changes should pick up the edit in progress and allow a type change to also imply acceptance of the variable.
39 lines
886 B
C
39 lines
886 B
C
/*
|
|
* gui_frame.h - GUI, frame window
|
|
*
|
|
* Written 2009, 2010, 2012 by Werner Almesberger
|
|
* Copyright 2009, 2010, 2012 by Werner Almesberger
|
|
*
|
|
* This program is free software; you can redistribute it and/or modify
|
|
* it under the terms of the GNU General Public License as published by
|
|
* the Free Software Foundation; either version 2 of the License, or
|
|
* (at your option) any later version.
|
|
*/
|
|
|
|
|
|
#ifndef GUI_FRAME_H
|
|
#define GUI_FRAME_H
|
|
|
|
#include <gtk/gtk.h>
|
|
|
|
#include "obj.h"
|
|
|
|
|
|
extern int show_vars;
|
|
|
|
|
|
int find_var_in_frame(const struct frame *frame, const char *name,
|
|
const struct var *self);
|
|
void reselect_var(struct var *var);
|
|
|
|
void make_popups(void);
|
|
|
|
void select_frame(struct frame *frame);
|
|
|
|
void gui_frame_select_inst(struct inst *inst);
|
|
void gui_frame_deselect_inst(struct inst *inst);
|
|
|
|
void build_frames(GtkWidget *vbox, int warp_width);
|
|
|
|
#endif /* !GUI_FRAME_H */
|