2005-03-21 09:28:30 +03:00
|
|
|
//
|
|
|
|
// "$Id$"
|
|
|
|
//
|
|
|
|
// Code editor widget for the Fast Light Tool Kit (FLTK).
|
|
|
|
//
|
2010-11-29 00:06:39 +03:00
|
|
|
// Copyright 1998-2010 by Bill Spitzak and others.
|
2005-03-21 09:28:30 +03:00
|
|
|
//
|
2011-07-19 08:49:30 +04:00
|
|
|
// This library is free software. Distribution and use rights are outlined in
|
|
|
|
// the file "COPYING" which should have been included with this file. If this
|
|
|
|
// file is missing or damaged, see the license at:
|
|
|
|
//
|
|
|
|
// http://www.fltk.org/COPYING.php
|
2005-03-21 09:28:30 +03:00
|
|
|
//
|
|
|
|
// Please report all bugs and problems on the following page:
|
|
|
|
//
|
|
|
|
// http://www.fltk.org/str.php
|
|
|
|
//
|
|
|
|
|
|
|
|
#ifndef CodeEditor_h
|
|
|
|
# define CodeEditor_h
|
|
|
|
|
|
|
|
//
|
|
|
|
// Include necessary headers...
|
|
|
|
//
|
|
|
|
|
|
|
|
# include <stdio.h>
|
|
|
|
# include <stdlib.h>
|
|
|
|
# include <string.h>
|
|
|
|
# include <ctype.h>
|
|
|
|
# include <FL/Fl.H>
|
|
|
|
# include <FL/Fl_Text_Buffer.H>
|
|
|
|
# include <FL/Fl_Text_Editor.H>
|
|
|
|
|
|
|
|
|
|
|
|
class CodeEditor : public Fl_Text_Editor {
|
|
|
|
static Fl_Text_Display::Style_Table_Entry styletable[];
|
|
|
|
static const char * const code_keywords[];
|
|
|
|
static const char * const code_types[];
|
|
|
|
|
|
|
|
|
|
|
|
// 'style_parse()' - Parse text and produce style data.
|
|
|
|
static void style_parse(const char *text, char *style, int length);
|
|
|
|
|
|
|
|
// 'style_unfinished_cb()' - Update unfinished styles.
|
|
|
|
static void style_unfinished_cb(int, void*);
|
|
|
|
|
|
|
|
// 'style_update()' - Update the style buffer...
|
|
|
|
static void style_update(int pos, int nInserted, int nDeleted,
|
|
|
|
int /*nRestyled*/, const char * /*deletedText*/,
|
|
|
|
void *cbArg);
|
|
|
|
|
2005-04-12 01:16:25 +04:00
|
|
|
static int auto_indent(int, CodeEditor* e);
|
2005-03-24 07:07:19 +03:00
|
|
|
|
2005-03-21 09:28:30 +03:00
|
|
|
public:
|
|
|
|
|
|
|
|
CodeEditor(int X, int Y, int W, int H, const char *L=0);
|
|
|
|
~CodeEditor();
|
2005-11-03 23:43:19 +03:00
|
|
|
int top_line() { return get_absolute_top_line_number(); }
|
2012-04-13 18:45:18 +04:00
|
|
|
|
|
|
|
// attempt to make the fluid code editor widget honour textsize setting
|
|
|
|
void textsize(Fl_Fontsize s);
|
|
|
|
|
2005-03-21 09:28:30 +03:00
|
|
|
};
|
|
|
|
|
2006-04-28 05:00:41 +04:00
|
|
|
class CodeViewer : public CodeEditor {
|
|
|
|
|
|
|
|
public:
|
|
|
|
|
|
|
|
CodeViewer(int X, int Y, int W, int H, const char *L=0);
|
2012-04-13 18:45:18 +04:00
|
|
|
|
2006-04-28 05:00:41 +04:00
|
|
|
protected:
|
|
|
|
|
|
|
|
int handle(int ev) { return Fl_Text_Display::handle(ev); }
|
2015-04-04 18:06:30 +03:00
|
|
|
void draw();
|
2006-04-28 05:00:41 +04:00
|
|
|
};
|
|
|
|
|
2005-03-21 09:28:30 +03:00
|
|
|
#endif // !CodeEditor_h
|
|
|
|
|
|
|
|
//
|
|
|
|
// End of "$Id$".
|
|
|
|
//
|