2005-03-25 18:20:26 +03:00
|
|
|
//
|
|
|
|
// "$Id$"
|
|
|
|
//
|
|
|
|
// Fl_Help_Dialog dialog for the Fast Light Tool Kit (FLTK).
|
|
|
|
//
|
2009-01-01 19:11:32 +03:00
|
|
|
// Copyright 1998-2009 by Bill Spitzak and others.
|
2005-03-25 18:20:26 +03:00
|
|
|
//
|
|
|
|
// This library is free software; you can redistribute it and/or
|
|
|
|
// modify it under the terms of the GNU Library General Public
|
|
|
|
// License as published by the Free Software Foundation; either
|
|
|
|
// version 2 of the License, or (at your option) any later version.
|
|
|
|
//
|
|
|
|
// This library is distributed in the hope that it will be useful,
|
|
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
|
|
// Library General Public License for more details.
|
|
|
|
//
|
|
|
|
// You should have received a copy of the GNU Library General Public
|
|
|
|
// License along with this library; if not, write to the Free Software
|
|
|
|
// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
|
|
|
|
// USA.
|
|
|
|
//
|
|
|
|
// Please report all bugs and problems on the following page:
|
|
|
|
//
|
|
|
|
// http://www.fltk.org/str.php
|
|
|
|
//
|
|
|
|
|
2008-10-15 17:46:06 +04:00
|
|
|
/* \file
|
2008-09-16 11:26:22 +04:00
|
|
|
Fl_Help_Dialog widget . */
|
|
|
|
|
2006-11-17 02:17:13 +03:00
|
|
|
// generated by Fast Light User Interface Designer (fluid) version 1.0108
|
2001-08-02 23:43:49 +04:00
|
|
|
|
2001-09-29 18:38:59 +04:00
|
|
|
#ifndef Fl_Help_Dialog_H
|
|
|
|
#define Fl_Help_Dialog_H
|
2001-08-02 23:43:49 +04:00
|
|
|
#include <FL/Fl.H>
|
2001-09-10 07:09:43 +04:00
|
|
|
#include <FL/Fl_Double_Window.H>
|
2004-07-04 10:49:34 +04:00
|
|
|
#include <FL/Fl_Group.H>
|
2005-03-25 18:20:26 +03:00
|
|
|
#include <FL/Fl_Button.H>
|
2003-05-21 20:12:14 +04:00
|
|
|
#include <FL/Fl_Input.H>
|
2007-01-28 22:36:51 +03:00
|
|
|
#include <FL/Fl_Box.H>
|
|
|
|
#include <FL/Fl_Help_View.H>
|
2001-08-02 23:43:49 +04:00
|
|
|
|
2002-07-14 23:08:25 +04:00
|
|
|
class FL_EXPORT Fl_Help_Dialog {
|
2006-11-17 02:17:13 +03:00
|
|
|
int index_;
|
|
|
|
int max_;
|
|
|
|
int line_[100];
|
|
|
|
char file_[100][256];
|
|
|
|
int find_pos_;
|
2001-08-02 23:43:49 +04:00
|
|
|
public:
|
2001-09-29 18:38:59 +04:00
|
|
|
Fl_Help_Dialog();
|
2001-08-02 23:43:49 +04:00
|
|
|
private:
|
2001-09-10 07:09:43 +04:00
|
|
|
Fl_Double_Window *window_;
|
2001-08-02 23:43:49 +04:00
|
|
|
Fl_Button *back_;
|
2005-04-15 22:00:33 +04:00
|
|
|
void cb_back__i(Fl_Button*, void*);
|
2001-08-02 23:43:49 +04:00
|
|
|
static void cb_back_(Fl_Button*, void*);
|
|
|
|
Fl_Button *forward_;
|
2005-04-15 22:00:33 +04:00
|
|
|
void cb_forward__i(Fl_Button*, void*);
|
2001-08-02 23:43:49 +04:00
|
|
|
static void cb_forward_(Fl_Button*, void*);
|
|
|
|
Fl_Button *smaller_;
|
2005-04-15 22:00:33 +04:00
|
|
|
void cb_smaller__i(Fl_Button*, void*);
|
2001-08-02 23:43:49 +04:00
|
|
|
static void cb_smaller_(Fl_Button*, void*);
|
|
|
|
Fl_Button *larger_;
|
2005-04-15 22:00:33 +04:00
|
|
|
void cb_larger__i(Fl_Button*, void*);
|
2001-08-02 23:43:49 +04:00
|
|
|
static void cb_larger_(Fl_Button*, void*);
|
2003-05-21 20:12:14 +04:00
|
|
|
Fl_Input *find_;
|
2005-04-15 22:00:33 +04:00
|
|
|
void cb_find__i(Fl_Input*, void*);
|
2003-05-21 20:12:14 +04:00
|
|
|
static void cb_find_(Fl_Input*, void*);
|
2007-01-28 22:36:51 +03:00
|
|
|
Fl_Help_View *view_;
|
|
|
|
void cb_view__i(Fl_Help_View*, void*);
|
|
|
|
static void cb_view_(Fl_Help_View*, void*);
|
2001-08-02 23:43:49 +04:00
|
|
|
public:
|
2001-09-29 18:38:59 +04:00
|
|
|
~Fl_Help_Dialog();
|
2001-08-02 23:43:49 +04:00
|
|
|
int h();
|
|
|
|
void hide();
|
|
|
|
void load(const char *f);
|
|
|
|
void position(int xx, int yy);
|
|
|
|
void resize(int xx, int yy, int ww, int hh);
|
|
|
|
void show();
|
2001-12-23 06:40:51 +03:00
|
|
|
void show(int argc, char **argv);
|
2008-08-16 01:11:21 +04:00
|
|
|
void textsize(Fl_Fontsize s);
|
|
|
|
Fl_Fontsize textsize();
|
2001-08-02 23:43:49 +04:00
|
|
|
void topline(const char *n);
|
|
|
|
void topline(int n);
|
2005-09-25 20:54:40 +04:00
|
|
|
void value(const char *f);
|
|
|
|
const char * value() const;
|
2001-08-02 23:43:49 +04:00
|
|
|
int visible();
|
|
|
|
int w();
|
|
|
|
int x();
|
|
|
|
int y();
|
|
|
|
};
|
|
|
|
#endif
|
2005-03-25 18:20:26 +03:00
|
|
|
|
|
|
|
//
|
|
|
|
// End of "$Id$".
|
|
|
|
//
|