// generated by Fast Light User Interface Designer (fluid) version 2.1000

#ifndef alignment_panel_h
#define alignment_panel_h
#include <fltk/Preferences.h>
#include <fltk/TextBuffer.h>
#include <fltk/TextDisplay.h>
extern void load_history();
extern fltk::TextBuffer *shell_run_buffer;
#include <fltk/Window.h>
extern fltk::Window* preferences_window;
#include <fltk/TabGroup.h>
extern fltk::TabGroup* pref_tabs;
#include <fltk/Group.h>
#include <fltk/CheckButton.h>
extern fltk::CheckButton* openlast_button;
extern fltk::CheckButton* prevpos_button;
extern fltk::CheckButton* completion_button;
#include <fltk/ValueInput.h>
extern fltk::ValueInput* recent_spinner;
extern fltk::CheckButton* tabcolor_button;
extern fltk::CheckButton* splash_button;
#include <fltk/Widget.h>
#include <fltk/Input.h>
extern void header_input_cb(fltk::Input*, void*);
extern fltk::Input* header_file_input;
extern void code_input_cb(fltk::Input*, void*);
extern fltk::Input* code_file_input;
extern void include_H_from_C_button_cb(fltk::CheckButton*, void*);
extern fltk::CheckButton* include_H_from_C_button;
extern void alignment_cb(fltk::Input*, long);
extern fltk::Input* horizontal_input;
extern fltk::Input* vertical_input;
extern fltk::Input* snap_input;
#include <fltk/RadioButton.h>
extern void default_widget_size_cb(fltk::RadioButton*, long);
extern fltk::RadioButton* def_widget_size[6];
#include <fltk/Button.h>
fltk::Window* make_preferences_window();
#include <fltk/DoubleBufferWindow.h>
extern fltk::DoubleBufferWindow* shell_window;
extern fltk::Input* shell_command_input;
extern fltk::CheckButton* shell_writecode_button;
extern fltk::CheckButton* shell_writemsgs_button;
extern fltk::CheckButton* shell_savefl_button;
#include <fltk/ReturnButton.h>
extern void do_shell_command(fltk::ReturnButton*, void*);
extern fltk::DoubleBufferWindow* shell_run_window;
#include <fltk/TextDisplay.h>
extern fltk::TextDisplay* shell_run_display;
extern fltk::ReturnButton* shell_run_button;
fltk::DoubleBufferWindow* make_shell_window();
#endif
