2001-08-02 01:24:49 +04:00
|
|
|
//
|
|
|
|
// Header file for Fl_Text_Display class.
|
|
|
|
//
|
2020-03-08 14:24:41 +03:00
|
|
|
// Copyright 2001-2020 by Bill Spitzak and others.
|
2002-01-01 18:11:33 +03:00
|
|
|
// Original code Copyright Mark Edel. Permission to distribute under
|
|
|
|
// the LGPL for the FLTK library granted by Mark Edel.
|
2001-08-02 01:24:49 +04: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:
|
|
|
|
//
|
2020-03-08 14:24:41 +03:00
|
|
|
// https://www.fltk.org/COPYING.php
|
2001-08-02 01:24:49 +04:00
|
|
|
//
|
2020-07-01 19:03:10 +03:00
|
|
|
// Please see the following page on how to report bugs and issues:
|
2005-04-16 04:13:17 +04:00
|
|
|
//
|
2020-07-01 19:03:10 +03:00
|
|
|
// https://www.fltk.org/bugs.php
|
2001-08-02 01:24:49 +04:00
|
|
|
//
|
|
|
|
|
2008-10-15 17:46:06 +04:00
|
|
|
/* \file
|
2010-11-05 00:53:56 +03:00
|
|
|
Fl_Text_Display widget . */
|
2008-09-16 11:26:22 +04:00
|
|
|
|
2001-08-02 01:24:49 +04:00
|
|
|
#ifndef FL_TEXT_DISPLAY_H
|
|
|
|
#define FL_TEXT_DISPLAY_H
|
|
|
|
|
2020-07-01 19:03:10 +03:00
|
|
|
#include <FL/Fl.H> // Fl::scrollbar_size()
|
2001-08-04 16:21:34 +04:00
|
|
|
#include "fl_draw.H"
|
|
|
|
#include "Fl_Group.H"
|
|
|
|
#include "Fl_Widget.H"
|
|
|
|
#include "Fl_Scrollbar.H"
|
|
|
|
#include "Fl_Text_Buffer.H"
|
2001-08-02 01:24:49 +04:00
|
|
|
|
2008-09-15 20:39:05 +04:00
|
|
|
/**
|
2010-11-05 00:53:56 +03:00
|
|
|
\brief Rich text display widget.
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2014-05-21 10:56:59 +04:00
|
|
|
This is the FLTK text display widget. It allows the user to view
|
|
|
|
multiple lines of text and supports highlighting, word wrap, mixes
|
|
|
|
of font faces and colors, line numbers and scrolling. The buffer
|
|
|
|
that is displayed in the widget is managed by the Fl_Text_Buffer
|
|
|
|
class. A single Text Buffer can be displayed by multiple Text
|
|
|
|
Displays.
|
|
|
|
|
|
|
|
\image html editor.png "Fl_Text_Display widget"
|
2020-09-21 14:45:46 +03:00
|
|
|
\image latex editor.png "Fl_Text_Display widget" width=10cm
|
2014-05-21 10:56:59 +04:00
|
|
|
<BR><BR>
|
|
|
|
\image html editor-linenumbers.png "Fl_Text_Display widget with line numbers enabled"
|
2020-09-21 14:45:46 +03:00
|
|
|
\image latex editor-linenumbers.png "Fl_Text_Display widget with line numbers enabled" width=10cm
|
2014-05-21 10:56:59 +04:00
|
|
|
|
|
|
|
\b Example \b Use
|
|
|
|
\code
|
|
|
|
#include <FL/FL_Text_Display.H>
|
|
|
|
..
|
|
|
|
int main() {
|
|
|
|
..
|
|
|
|
Fl_Text_Buffer *buff = new Fl_Text_Buffer();
|
|
|
|
Fl_Text_Display *disp = new Fl_Text_Display(10, 10, 640, 480);
|
|
|
|
disp->buffer(buff); // attach text buffer to display widget
|
|
|
|
buff->text("line one\nline two"); // add some text to buffer
|
2020-07-01 19:03:10 +03:00
|
|
|
..
|
2014-05-21 10:56:59 +04:00
|
|
|
}
|
|
|
|
\endcode
|
|
|
|
|
|
|
|
\b Features
|
|
|
|
|
|
|
|
- Word wrap: wrap_mode(), wrapped_column(), wrapped_row()
|
|
|
|
- Font control: textfont(), textsize(), textcolor()
|
|
|
|
- Font styling: highlight_data()
|
|
|
|
- Cursor: cursor_style(), show_cursor(), hide_cursor(), cursor_color()
|
|
|
|
- Line numbers: linenumber_width(), linenumber_font(),
|
|
|
|
linenumber_size(), linenumber_fgcolor(), linenumber_bgcolor(),
|
|
|
|
linenumber_align(), linenumber_format()
|
|
|
|
|
|
|
|
Note that other features may be available via Fl_Text_Editor
|
|
|
|
and Fl_Text_Buffer classes.
|
|
|
|
|
2016-03-26 05:55:14 +03:00
|
|
|
\note Line numbers were added in FLTK 1.3.3.
|
2020-01-26 21:14:45 +03:00
|
|
|
\see Fl_Widget::shortcut_label(int)
|
2010-11-05 00:53:56 +03:00
|
|
|
*/
|
2011-01-24 20:04:22 +03:00
|
|
|
class FL_EXPORT Fl_Text_Display: public Fl_Group {
|
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
public:
|
2020-07-01 19:03:10 +03:00
|
|
|
|
|
|
|
/**
|
|
|
|
text display cursor shapes enumeration
|
2010-11-04 01:01:43 +03:00
|
|
|
*/
|
2010-11-05 00:53:56 +03:00
|
|
|
enum {
|
|
|
|
NORMAL_CURSOR, /**< I-beam */
|
|
|
|
CARET_CURSOR, /**< caret under the text */
|
|
|
|
DIM_CURSOR, /**< dim I-beam */
|
|
|
|
BLOCK_CURSOR, /**< unfille box under the current character */
|
2011-09-29 00:08:48 +04:00
|
|
|
HEAVY_CURSOR, /**< thick I-beam */
|
|
|
|
SIMPLE_CURSOR /**< as cursor as Fl_Input cursor */
|
2010-11-05 00:53:56 +03:00
|
|
|
};
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-04 01:01:43 +03:00
|
|
|
/**
|
2020-07-01 19:03:10 +03:00
|
|
|
the character position is the left edge of a character, whereas
|
2010-12-02 12:46:01 +03:00
|
|
|
the cursor is thought to be between the centers of two consecutive
|
2010-11-04 01:01:43 +03:00
|
|
|
characters.
|
|
|
|
*/
|
2010-11-05 00:53:56 +03:00
|
|
|
enum {
|
2020-07-01 19:03:10 +03:00
|
|
|
CURSOR_POS,
|
2010-11-05 00:53:56 +03:00
|
|
|
CHARACTER_POS
|
|
|
|
};
|
2020-07-01 19:03:10 +03:00
|
|
|
|
|
|
|
/**
|
2010-11-05 00:53:56 +03:00
|
|
|
drag types - they match Fl::event_clicks() so that single clicking to
|
|
|
|
start a collection selects by character, double clicking selects by
|
|
|
|
word and triple clicking selects by line.
|
2010-11-04 01:01:43 +03:00
|
|
|
*/
|
2010-11-05 00:53:56 +03:00
|
|
|
enum {
|
2010-11-11 22:09:34 +03:00
|
|
|
DRAG_NONE = -2,
|
|
|
|
DRAG_START_DND = -1,
|
2020-07-01 19:03:10 +03:00
|
|
|
DRAG_CHAR = 0,
|
|
|
|
DRAG_WORD = 1,
|
2010-11-05 00:53:56 +03:00
|
|
|
DRAG_LINE = 2
|
|
|
|
};
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-11 22:09:34 +03:00
|
|
|
/**
|
2010-12-02 12:46:01 +03:00
|
|
|
wrap types - used in wrap_mode()
|
2010-11-11 22:09:34 +03:00
|
|
|
*/
|
|
|
|
enum {
|
|
|
|
WRAP_NONE, /**< don't wrap text at all */
|
|
|
|
WRAP_AT_COLUMN, /**< wrap text at the given text column */
|
|
|
|
WRAP_AT_PIXEL, /**< wrap text at a pixel position */
|
|
|
|
WRAP_AT_BOUNDS /**< wrap text so that it fits into the widget width */
|
2020-07-01 19:03:10 +03:00
|
|
|
};
|
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
friend void fl_text_drag_me(int pos, Fl_Text_Display* d);
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
typedef void (*Unfinished_Style_Cb)(int, void *);
|
2020-07-01 19:03:10 +03:00
|
|
|
|
|
|
|
/**
|
2016-01-28 20:16:32 +03:00
|
|
|
This structure associates the color, font, and font size of a string to draw
|
|
|
|
with an attribute mask matching attr.
|
|
|
|
|
|
|
|
There must be one entry for each style that can be used in an
|
|
|
|
Fl_Text_Display for displaying text. The style table is an array of
|
|
|
|
struct Style_Table_Entry.
|
|
|
|
|
|
|
|
The style table is associated with an Fl_Text_Display by using
|
|
|
|
Fl_Text_Display::highlight_data().
|
2017-02-01 21:36:23 +03:00
|
|
|
|
2016-01-28 20:16:32 +03:00
|
|
|
\see Fl_Text_Display::highlight_data()
|
2010-11-04 01:01:43 +03:00
|
|
|
*/
|
2010-11-05 00:53:56 +03:00
|
|
|
struct Style_Table_Entry {
|
2020-07-01 19:03:10 +03:00
|
|
|
Fl_Color color; ///< text color
|
|
|
|
Fl_Font font; ///< text font
|
|
|
|
Fl_Fontsize size; ///< text font size
|
|
|
|
unsigned attr; ///< currently unused (this may be changed in the future)
|
2010-11-05 00:53:56 +03:00
|
|
|
};
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
Fl_Text_Display(int X, int Y, int W, int H, const char *l = 0);
|
|
|
|
~Fl_Text_Display();
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
virtual int handle(int e);
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
void buffer(Fl_Text_Buffer* buf);
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2008-09-15 20:39:05 +04:00
|
|
|
/**
|
2010-11-05 00:53:56 +03:00
|
|
|
Sets the current text buffer associated with the text widget.
|
|
|
|
Multiple text widgets can be associated with the same text buffer.
|
|
|
|
\param buf new text buffer
|
2016-12-05 20:47:02 +03:00
|
|
|
\see Fl_Text_Display::buffer(Fl_Text_Buffer* buf)
|
2010-11-05 00:53:56 +03:00
|
|
|
*/
|
|
|
|
void buffer(Fl_Text_Buffer& buf) { buffer(&buf); }
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
/**
|
|
|
|
Gets the current text buffer associated with the text widget.
|
|
|
|
Multiple text widgets can be associated with the same text buffer.
|
|
|
|
\return current text buffer
|
2016-12-05 20:47:02 +03:00
|
|
|
\see Fl_Text_Display::buffer(Fl_Text_Buffer* buf)
|
|
|
|
\see Fl_Text_Display::buffer(Fl_Text_Buffer& buf)
|
2010-11-05 00:53:56 +03:00
|
|
|
*/
|
|
|
|
Fl_Text_Buffer* buffer() const { return mBuffer; }
|
2020-09-16 23:33:05 +03:00
|
|
|
/**
|
|
|
|
Gets the current style buffer associated with the text widget.
|
|
|
|
Multiple text widgets can be associated with the same style buffer.
|
|
|
|
\return current style buffer
|
|
|
|
\see Fl_Text_Display::highlight_data()
|
|
|
|
*/
|
|
|
|
Fl_Text_Buffer* style_buffer() const { return mStyleBuffer; }
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
void redisplay_range(int start, int end);
|
|
|
|
void scroll(int topLineNum, int horizOffset);
|
|
|
|
void insert(const char* text);
|
|
|
|
void overstrike(const char* text);
|
|
|
|
void insert_position(int newPos);
|
2020-03-08 14:24:41 +03:00
|
|
|
|
|
|
|
/**
|
|
|
|
Gets the position of the text insertion cursor for text display.
|
|
|
|
|
|
|
|
The insert position is the byte count (offset) from the beginning
|
|
|
|
of the text buffer (starting with 0). Returns 0 (zero) if no buffer
|
|
|
|
is associated to the text display. Returns buffer()->length() if the
|
|
|
|
insert position is at the end of the buffer.
|
|
|
|
|
|
|
|
\returns insert position index into text buffer
|
|
|
|
\see insert_position(int)
|
|
|
|
*/
|
2010-11-05 00:53:56 +03:00
|
|
|
int insert_position() const { return mCursorPos; }
|
2011-01-09 19:07:13 +03:00
|
|
|
int position_to_xy(int pos, int* x, int* y) const;
|
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
int in_selection(int x, int y) const;
|
|
|
|
void show_insert_position();
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
int move_right();
|
|
|
|
int move_left();
|
2020-07-01 19:03:10 +03:00
|
|
|
int move_up();
|
2010-11-05 00:53:56 +03:00
|
|
|
int move_down();
|
|
|
|
int count_lines(int start, int end, bool start_pos_is_line_start) const;
|
|
|
|
int line_start(int pos) const;
|
2010-12-02 03:43:07 +03:00
|
|
|
int line_end(int startPos, bool startPosIsLineStart) const;
|
2010-11-05 00:53:56 +03:00
|
|
|
int skip_lines(int startPos, int nLines, bool startPosIsLineStart);
|
|
|
|
int rewind_lines(int startPos, int nLines);
|
|
|
|
void next_word(void);
|
|
|
|
void previous_word(void);
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
void show_cursor(int b = 1);
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-04 01:01:43 +03:00
|
|
|
/**
|
2010-12-02 12:46:01 +03:00
|
|
|
Hides the text cursor.
|
2010-11-04 01:01:43 +03:00
|
|
|
*/
|
2010-11-05 00:53:56 +03:00
|
|
|
void hide_cursor() { show_cursor(0); }
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
void cursor_style(int style);
|
2017-10-03 08:15:10 +03:00
|
|
|
int cursor_style() const { return mCursorStyle; }
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-04 01:01:43 +03:00
|
|
|
/**
|
2020-07-01 19:03:10 +03:00
|
|
|
Gets the text cursor color.
|
2010-11-05 00:53:56 +03:00
|
|
|
\return cursor color
|
2010-11-04 01:01:43 +03:00
|
|
|
*/
|
2010-11-05 00:53:56 +03:00
|
|
|
Fl_Color cursor_color() const {return mCursor_color;}
|
2020-07-01 19:03:10 +03:00
|
|
|
|
|
|
|
/**
|
2010-12-02 12:46:01 +03:00
|
|
|
Sets the text cursor color.
|
2010-11-05 00:53:56 +03:00
|
|
|
\param n new cursor color
|
2010-11-04 01:01:43 +03:00
|
|
|
*/
|
2010-11-05 00:53:56 +03:00
|
|
|
void cursor_color(Fl_Color n) {mCursor_color = n;}
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-04 01:01:43 +03:00
|
|
|
/**
|
2019-03-26 15:57:41 +03:00
|
|
|
Returns the global value Fl::scrollbar_size() unless a specific scrollbar_width_ has been set.
|
|
|
|
\deprecated Use scrollbar_size() instead.
|
2017-11-03 00:14:40 +03:00
|
|
|
\todo This method should eventually be removed.
|
|
|
|
*/
|
|
|
|
int scrollbar_width() const {
|
|
|
|
return scrollbar_width_ ? scrollbar_width_ : Fl::scrollbar_size();
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
2019-03-26 15:57:41 +03:00
|
|
|
Sets the global Fl::scrollbar_size(), and forces this instance of the widget to use it.
|
|
|
|
\deprecated Use scrollbar_size() instead.
|
2017-11-03 00:14:40 +03:00
|
|
|
\todo This method should eventually be removed
|
|
|
|
*/
|
|
|
|
void scrollbar_width(int width) {
|
|
|
|
Fl::scrollbar_size(width);
|
|
|
|
scrollbar_width_ = 0;
|
|
|
|
}
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2017-11-03 00:14:40 +03:00
|
|
|
/**
|
|
|
|
Gets the current size of the scrollbars' troughs, in pixels.
|
|
|
|
|
2020-07-01 19:03:10 +03:00
|
|
|
If this value is zero (default), this widget will use the
|
2017-11-03 00:14:40 +03:00
|
|
|
Fl::scrollbar_size() value as the scrollbar's width.
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2017-11-03 00:14:40 +03:00
|
|
|
\returns Scrollbar size in pixels, or 0 if the global Fl::scrollbar_size() is being used.
|
|
|
|
\see Fl::scrollbar_size(int)
|
|
|
|
*/
|
|
|
|
int scrollbar_size() const {
|
|
|
|
return(scrollbar_width_);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
Sets the pixel size of the scrollbars' troughs to \p newSize, in pixels.
|
|
|
|
|
|
|
|
Normally you should not need this method, and should use
|
2020-07-01 19:03:10 +03:00
|
|
|
Fl::scrollbar_size(int) instead to manage the size of ALL
|
|
|
|
your widgets' scrollbars. This ensures your application
|
2017-11-03 00:14:40 +03:00
|
|
|
has a consistent UI, is the default behavior, and is normally
|
|
|
|
what you want.
|
|
|
|
|
|
|
|
Only use THIS method if you really need to override the global
|
|
|
|
scrollbar size. The need for this should be rare.
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2017-11-03 00:14:40 +03:00
|
|
|
Setting \p newSize to the special value of 0 causes the widget to
|
|
|
|
track the global Fl::scrollbar_size(), which is the default.
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2017-11-03 00:14:40 +03:00
|
|
|
\param[in] newSize Sets the scrollbar size in pixels.\n
|
|
|
|
If 0 (default), scrollbar size tracks the global Fl::scrollbar_size()
|
|
|
|
\see Fl::scrollbar_size()
|
|
|
|
*/
|
|
|
|
void scrollbar_size(int newSize) {
|
|
|
|
scrollbar_width_ = newSize;
|
2020-07-01 19:03:10 +03:00
|
|
|
}
|
2017-11-03 00:14:40 +03:00
|
|
|
|
2010-11-04 01:01:43 +03:00
|
|
|
/**
|
2010-12-02 12:46:01 +03:00
|
|
|
Gets the scrollbar alignment type.
|
2010-11-05 00:53:56 +03:00
|
|
|
\return scrollbar alignment
|
2010-11-04 01:01:43 +03:00
|
|
|
*/
|
2010-11-05 00:53:56 +03:00
|
|
|
Fl_Align scrollbar_align() const { return scrollbar_align_; }
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-04 01:01:43 +03:00
|
|
|
/**
|
2010-12-02 12:46:01 +03:00
|
|
|
Sets the scrollbar alignment type.
|
2010-11-05 00:53:56 +03:00
|
|
|
\param a new scrollbar alignment
|
2010-11-04 01:01:43 +03:00
|
|
|
*/
|
2010-11-05 00:53:56 +03:00
|
|
|
void scrollbar_align(Fl_Align a) { scrollbar_align_ = a; }
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-04 01:01:43 +03:00
|
|
|
/**
|
2010-12-02 12:46:01 +03:00
|
|
|
Moves the insert position to the beginning of the current word.
|
2010-11-05 00:53:56 +03:00
|
|
|
\param pos start calculation at this index
|
2010-12-02 12:46:01 +03:00
|
|
|
\return beginning of the words
|
2010-11-04 01:01:43 +03:00
|
|
|
*/
|
2010-11-05 00:53:56 +03:00
|
|
|
int word_start(int pos) const { return buffer()->word_start(pos); }
|
2020-07-01 19:03:10 +03:00
|
|
|
|
|
|
|
/**
|
2010-11-05 00:53:56 +03:00
|
|
|
Moves the insert position to the end of the current word.
|
|
|
|
\param pos start calculation at this index
|
|
|
|
\return index of first character after the end of the word
|
2010-11-04 01:01:43 +03:00
|
|
|
*/
|
2010-11-05 00:53:56 +03:00
|
|
|
int word_end(int pos) const { return buffer()->word_end(pos); }
|
2020-07-01 19:03:10 +03:00
|
|
|
|
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
void highlight_data(Fl_Text_Buffer *styleBuffer,
|
|
|
|
const Style_Table_Entry *styleTable,
|
|
|
|
int nStyles, char unfinishedStyle,
|
|
|
|
Unfinished_Style_Cb unfinishedHighlightCB,
|
|
|
|
void *cbArg);
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-04 01:01:43 +03:00
|
|
|
int position_style(int lineStartPos, int lineLen, int lineIndex) const;
|
2020-07-01 19:03:10 +03:00
|
|
|
|
|
|
|
/**
|
|
|
|
\todo FIXME : get set methods pointing on shortcut_
|
|
|
|
have no effects as shortcut_ is unused in this class and derived!
|
2010-11-05 00:53:56 +03:00
|
|
|
\return the current shortcut key
|
2010-11-04 01:01:43 +03:00
|
|
|
*/
|
2010-11-05 00:53:56 +03:00
|
|
|
int shortcut() const {return shortcut_;}
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-04 01:01:43 +03:00
|
|
|
/**
|
2020-07-01 19:03:10 +03:00
|
|
|
\todo FIXME : get set methods pointing on shortcut_
|
|
|
|
have no effects as shortcut_ is unused in this class and derived!
|
2010-11-05 00:53:56 +03:00
|
|
|
\param s the new shortcut key
|
2010-11-04 01:01:43 +03:00
|
|
|
*/
|
2010-11-05 00:53:56 +03:00
|
|
|
void shortcut(int s) {shortcut_ = s;}
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-04 01:01:43 +03:00
|
|
|
/**
|
2010-11-05 00:53:56 +03:00
|
|
|
Gets the default font used when drawing text in the widget.
|
2010-12-02 12:46:01 +03:00
|
|
|
\return current text font face unless overridden by a style
|
2010-11-04 01:01:43 +03:00
|
|
|
*/
|
2010-11-05 00:53:56 +03:00
|
|
|
Fl_Font textfont() const {return textfont_;}
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-04 01:01:43 +03:00
|
|
|
/**
|
2010-12-02 12:46:01 +03:00
|
|
|
Sets the default font used when drawing text in the widget.
|
2010-11-05 00:53:56 +03:00
|
|
|
\param s default text font face
|
2010-11-04 01:01:43 +03:00
|
|
|
*/
|
2017-10-27 20:03:55 +03:00
|
|
|
void textfont(Fl_Font s) {textfont_ = s; mColumnScale = 0; }
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-04 01:01:43 +03:00
|
|
|
/**
|
2010-12-02 12:46:01 +03:00
|
|
|
Gets the default size of text in the widget.
|
|
|
|
\return current text height unless overridden by a style
|
2010-11-04 01:01:43 +03:00
|
|
|
*/
|
2010-11-05 00:53:56 +03:00
|
|
|
Fl_Fontsize textsize() const {return textsize_;}
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-04 01:01:43 +03:00
|
|
|
/**
|
2010-12-02 12:46:01 +03:00
|
|
|
Sets the default size of text in the widget.
|
2010-11-05 00:53:56 +03:00
|
|
|
\param s new text size
|
2010-11-04 01:01:43 +03:00
|
|
|
*/
|
2017-10-27 20:03:55 +03:00
|
|
|
void textsize(Fl_Fontsize s) {textsize_ = s; mColumnScale = 0; }
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-04 01:01:43 +03:00
|
|
|
/**
|
2010-12-02 12:46:01 +03:00
|
|
|
Gets the default color of text in the widget.
|
|
|
|
\return text color unless overridden by a style
|
2010-11-04 01:01:43 +03:00
|
|
|
*/
|
2010-11-05 00:53:56 +03:00
|
|
|
Fl_Color textcolor() const {return textcolor_;}
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-04 01:01:43 +03:00
|
|
|
/**
|
2010-12-02 12:46:01 +03:00
|
|
|
Sets the default color of text in the widget.
|
2010-11-05 00:53:56 +03:00
|
|
|
\param n new text color
|
2010-11-04 01:01:43 +03:00
|
|
|
*/
|
2010-11-05 00:53:56 +03:00
|
|
|
void textcolor(Fl_Color n) {textcolor_ = n;}
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
int wrapped_column(int row, int column) const;
|
|
|
|
int wrapped_row(int row) const;
|
|
|
|
void wrap_mode(int wrap, int wrap_margin);
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2017-10-26 19:07:53 +03:00
|
|
|
virtual void recalc_display();
|
2010-11-05 00:53:56 +03:00
|
|
|
virtual void resize(int X, int Y, int W, int H);
|
2010-11-11 22:09:34 +03:00
|
|
|
|
|
|
|
/**
|
|
|
|
Convert an x pixel position into a column number.
|
2010-12-02 12:46:01 +03:00
|
|
|
\param x number of pixels from the left margin
|
2010-11-11 22:09:34 +03:00
|
|
|
\return an approximate column number based on the main font
|
|
|
|
*/
|
2010-12-02 03:43:07 +03:00
|
|
|
double x_to_col(double x) const;
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-11 22:09:34 +03:00
|
|
|
/**
|
|
|
|
Convert a column number into an x pixel position.
|
|
|
|
\param col an approximate column number based on the main font
|
2010-12-02 12:46:01 +03:00
|
|
|
\return number of pixels from the left margin to the left of an
|
2020-07-01 19:03:10 +03:00
|
|
|
average sized character
|
2010-11-11 22:09:34 +03:00
|
|
|
*/
|
2010-11-27 23:49:27 +03:00
|
|
|
double col_to_x(double col) const;
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2014-05-21 10:56:59 +04:00
|
|
|
void linenumber_width(int width);
|
|
|
|
int linenumber_width() const;
|
|
|
|
void linenumber_font(Fl_Font val);
|
|
|
|
Fl_Font linenumber_font() const;
|
|
|
|
void linenumber_size(Fl_Fontsize val);
|
|
|
|
Fl_Fontsize linenumber_size() const;
|
|
|
|
void linenumber_fgcolor(Fl_Color val);
|
|
|
|
Fl_Color linenumber_fgcolor() const;
|
|
|
|
void linenumber_bgcolor(Fl_Color val);
|
|
|
|
Fl_Color linenumber_bgcolor() const;
|
|
|
|
void linenumber_align(Fl_Align val);
|
|
|
|
Fl_Align linenumber_align() const;
|
|
|
|
void linenumber_format(const char* val);
|
|
|
|
const char* linenumber_format() const;
|
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
protected:
|
|
|
|
// Most (all?) of this stuff should only be called from resize() or
|
|
|
|
// draw().
|
|
|
|
// Anything with "vline" indicates thats it deals with currently
|
|
|
|
// visible lines.
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
virtual void draw();
|
|
|
|
void draw_text(int X, int Y, int W, int H);
|
|
|
|
void draw_range(int start, int end);
|
|
|
|
void draw_cursor(int, int);
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
void draw_string(int style, int x, int y, int toX, const char *string,
|
2010-11-04 01:01:43 +03:00
|
|
|
int nChars) const;
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
void draw_vline(int visLineNum, int leftClip, int rightClip,
|
|
|
|
int leftCharIndex, int rightCharIndex);
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-04 01:01:43 +03:00
|
|
|
int find_x(const char *s, int len, int style, int x) const;
|
2020-07-01 19:03:10 +03:00
|
|
|
|
|
|
|
enum {
|
|
|
|
DRAW_LINE,
|
2010-11-11 22:09:34 +03:00
|
|
|
FIND_INDEX,
|
|
|
|
FIND_INDEX_FROM_ZERO,
|
2017-10-18 10:16:46 +03:00
|
|
|
GET_WIDTH,
|
2020-07-01 19:03:10 +03:00
|
|
|
FIND_CURSOR_INDEX // STR #2788
|
2010-11-05 00:53:56 +03:00
|
|
|
};
|
2020-07-01 19:03:10 +03:00
|
|
|
|
|
|
|
int handle_vline(int mode,
|
2010-11-04 01:01:43 +03:00
|
|
|
int lineStart, int lineLen, int leftChar, int rightChar,
|
|
|
|
int topClip, int bottomClip,
|
|
|
|
int leftClip, int rightClip) const;
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
void draw_line_numbers(bool clearAll);
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-04 01:01:43 +03:00
|
|
|
void clear_rect(int style, int x, int y, int width, int height) const;
|
2010-11-05 00:53:56 +03:00
|
|
|
void display_insert();
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
void offset_line_starts(int newTopLineNum);
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
void calc_line_starts(int startLine, int endLine);
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
void update_line_starts(int pos, int charsInserted, int charsDeleted,
|
|
|
|
int linesInserted, int linesDeleted, int *scrolled);
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
void calc_last_char();
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
int position_to_line( int pos, int* lineNum ) const;
|
2010-11-11 22:09:34 +03:00
|
|
|
double string_width(const char* string, int length, int style) const;
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
static void scroll_timer_cb(void*);
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
static void buffer_predelete_cb(int pos, int nDeleted, void* cbArg);
|
|
|
|
static void buffer_modified_cb(int pos, int nInserted, int nDeleted,
|
|
|
|
int nRestyled, const char* deletedText,
|
|
|
|
void* cbArg);
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
static void h_scrollbar_cb(Fl_Scrollbar* w, Fl_Text_Display* d);
|
|
|
|
static void v_scrollbar_cb( Fl_Scrollbar* w, Fl_Text_Display* d);
|
|
|
|
void update_v_scrollbar();
|
|
|
|
void update_h_scrollbar();
|
|
|
|
int measure_vline(int visLineNum) const;
|
|
|
|
int longest_vline() const;
|
|
|
|
int empty_vlines() const;
|
|
|
|
int vline_length(int visLineNum) const;
|
|
|
|
int xy_to_position(int x, int y, int PosType = CHARACTER_POS) const;
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
void xy_to_rowcol(int x, int y, int* row, int* column,
|
|
|
|
int PosType = CHARACTER_POS) const;
|
|
|
|
void maintain_absolute_top_line_number(int state);
|
|
|
|
int get_absolute_top_line_number() const;
|
|
|
|
void absolute_top_line_number(int oldFirstChar);
|
|
|
|
int maintaining_absolute_top_line_number() const;
|
|
|
|
void reset_absolute_top_line_number();
|
|
|
|
int position_to_linecol(int pos, int* lineNum, int* column) const;
|
2010-11-11 22:09:34 +03:00
|
|
|
int scroll_(int topLineNum, int horizOffset);
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
void extend_range_for_styles(int* start, int* end);
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
void find_wrap_range(const char *deletedText, int pos, int nInserted,
|
|
|
|
int nDeleted, int *modRangeStart, int *modRangeEnd,
|
|
|
|
int *linesInserted, int *linesDeleted);
|
|
|
|
void measure_deleted_lines(int pos, int nDeleted);
|
|
|
|
void wrapped_line_counter(Fl_Text_Buffer *buf, int startPos, int maxPos,
|
|
|
|
int maxLines, bool startPosIsLineStart,
|
|
|
|
int styleBufOffset, int *retPos, int *retLines,
|
|
|
|
int *retLineStart, int *retLineEnd,
|
|
|
|
bool countLastLineMissingNewLine = true) const;
|
|
|
|
void find_line_end(int pos, bool start_pos_is_line_start, int *lineEnd,
|
|
|
|
int *nextLineStart) const;
|
2010-11-11 22:09:34 +03:00
|
|
|
double measure_proportional_character(const char *s, int colNum, int pos) const;
|
2010-11-05 00:53:56 +03:00
|
|
|
int wrap_uses_character(int lineEndPos) const;
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
int damage_range1_start, damage_range1_end;
|
|
|
|
int damage_range2_start, damage_range2_end;
|
|
|
|
int mCursorPos;
|
|
|
|
int mCursorOn;
|
|
|
|
int mCursorOldY; /* Y pos. of cursor for blanking */
|
|
|
|
int mCursorToHint; /* Tells the buffer modified callback
|
|
|
|
where to move the cursor, to reduce
|
|
|
|
the number of redraw calls */
|
|
|
|
int mCursorStyle; /* One of enum cursorStyles above */
|
2010-11-11 22:09:34 +03:00
|
|
|
int mCursorPreferredXPos; /* Pixel position for vert. cursor movement */
|
2017-10-09 05:41:42 +03:00
|
|
|
int mNVisibleLines; /* # of visible (displayed) lines. This is
|
|
|
|
also the size of the mLineStarts[] array. */
|
2010-11-05 00:53:56 +03:00
|
|
|
int mNBufferLines; /* # of newlines in the buffer */
|
|
|
|
Fl_Text_Buffer* mBuffer; /* Contains text to be displayed */
|
|
|
|
Fl_Text_Buffer* mStyleBuffer; /* Optional parallel buffer containing
|
|
|
|
color and font information */
|
|
|
|
int mFirstChar, mLastChar; /* Buffer positions of first and last
|
|
|
|
displayed character (lastChar points
|
|
|
|
either to a newline or one character
|
|
|
|
beyond the end of the buffer) */
|
|
|
|
int mContinuousWrap; /* Wrap long lines when displaying */
|
2020-07-01 19:03:10 +03:00
|
|
|
int mWrapMarginPix; /* Margin in # of pixels for
|
2010-11-05 00:53:56 +03:00
|
|
|
wrapping in continuousWrap mode */
|
2017-10-09 05:41:42 +03:00
|
|
|
int* mLineStarts; /* Array of the size mNVisibleLines.
|
|
|
|
This array only keeps track of lines
|
|
|
|
within the display area. Each entry
|
|
|
|
contains the starting character offset
|
|
|
|
(from the beginning of the text buffer)
|
|
|
|
for each /visible/ line.
|
|
|
|
If wrap enabled, points to the beginning
|
|
|
|
of each wrap. So a long line wrapping
|
2017-10-11 04:35:07 +03:00
|
|
|
into 3 separate lines in the display
|
|
|
|
will take up 3 separate array entries. */
|
2010-11-05 00:53:56 +03:00
|
|
|
int mTopLineNum; /* Line number of top displayed line
|
|
|
|
of file (first line of file is 1) */
|
|
|
|
int mAbsTopLineNum; /* In continuous wrap mode, the line
|
|
|
|
number of the top line if the text
|
|
|
|
were not wrapped (note that this is
|
|
|
|
only maintained as needed). */
|
|
|
|
int mNeedAbsTopLineNum; /* Externally settable flag to continue
|
|
|
|
maintaining absTopLineNum even if
|
|
|
|
it isn't needed for line # display */
|
|
|
|
int mHorizOffset; /* Horizontal scroll pos. in pixels */
|
|
|
|
int mTopLineNumHint; /* Line number of top displayed line
|
|
|
|
of file (first line of file is 1) */
|
|
|
|
int mHorizOffsetHint; /* Horizontal scroll pos. in pixels */
|
|
|
|
int mNStyles; /* Number of entries in styleTable */
|
|
|
|
const Style_Table_Entry *mStyleTable; /* Table of fonts and colors for
|
|
|
|
coloring/syntax-highlighting */
|
|
|
|
char mUnfinishedStyle; /* Style buffer entry which triggers
|
|
|
|
on-the-fly reparsing of region */
|
|
|
|
Unfinished_Style_Cb mUnfinishedHighlightCB; /* Callback to parse "unfinished" */
|
|
|
|
/* regions */
|
|
|
|
void* mHighlightCBArg; /* Arg to unfinishedHighlightCB */
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
int mMaxsize;
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
int mSuppressResync; /* Suppress resynchronization of line
|
|
|
|
starts during buffer updates */
|
|
|
|
int mNLinesDeleted; /* Number of lines deleted during
|
|
|
|
buffer modification (only used
|
|
|
|
when resynchronization is suppressed) */
|
2017-11-23 22:34:33 +03:00
|
|
|
int mModifyingTabDistance; /* Whether tab distance is being modified XXX: UNUSED */
|
|
|
|
|
2010-11-27 23:49:27 +03:00
|
|
|
mutable double mColumnScale; /* Width in pixels of an average character. This
|
2020-07-01 19:03:10 +03:00
|
|
|
value is calculated as needed (lazy eval); it
|
2010-11-27 23:49:27 +03:00
|
|
|
needs to be mutable so that it can be calculated
|
|
|
|
within a method marked as "const" */
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
Fl_Color mCursor_color;
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
Fl_Scrollbar* mHScrollBar;
|
|
|
|
Fl_Scrollbar* mVScrollBar;
|
2020-07-01 19:03:10 +03:00
|
|
|
int scrollbar_width_; // size of scrollbar trough (behavior changed in 1.4)
|
2010-11-05 00:53:56 +03:00
|
|
|
Fl_Align scrollbar_align_;
|
|
|
|
int dragPos, dragType, dragging;
|
|
|
|
int display_insert_position_hint;
|
|
|
|
struct { int x, y, w, h; } text_area;
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
int shortcut_;
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2010-11-05 00:53:56 +03:00
|
|
|
Fl_Font textfont_;
|
|
|
|
Fl_Fontsize textsize_;
|
|
|
|
Fl_Color textcolor_;
|
2020-07-01 19:03:10 +03:00
|
|
|
|
2014-05-21 10:56:59 +04:00
|
|
|
// Line number margin and width
|
2010-11-05 00:53:56 +03:00
|
|
|
int mLineNumLeft, mLineNumWidth;
|
2014-05-21 10:56:59 +04:00
|
|
|
|
|
|
|
// Line number font/colors
|
|
|
|
Fl_Font linenumber_font_;
|
|
|
|
Fl_Fontsize linenumber_size_;
|
|
|
|
Fl_Color linenumber_fgcolor_;
|
|
|
|
Fl_Color linenumber_bgcolor_;
|
|
|
|
Fl_Align linenumber_align_;
|
|
|
|
const char* linenumber_format_;
|
2001-08-02 01:24:49 +04:00
|
|
|
};
|
|
|
|
|
|
|
|
#endif
|