5
5
* setting and retrieving attributes of a widget
6
6
* COPYRIGHT : (C) 1999 Joris van der Hoeven
7
7
*******************************************************************************
8
* This software falls under the GNU general public license and comes WITHOUT
9
* ANY WARRANTY WHATSOEVER. See the file $TEXMACS_PATH/LICENSE for more details.
10
* If you don't have this file, write to the Free Software Foundation, Inc.,
11
* 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
8
* This software falls under the GNU general public license version 3 or later.
9
* It comes WITHOUT ANY WARRANTY WHATSOEVER. For details, see the file LICENSE
10
* in the root directory or <http://www.gnu.org/licenses/gpl-3.0.html>.
12
11
******************************************************************************/
14
13
#include "Widkit/attribute_widget.hpp"
34
33
attribute_widget_rep::handle_get_integer (get_integer_event ev) {
35
fatal_error ("Could not get integer attribute " * ev->which);
34
WK_FAILED ("could not get integer attribute " * ev->which);
39
38
attribute_widget_rep::handle_get_double (get_double_event ev) {
40
fatal_error ("Could not get double attribute " * ev->which);
39
WK_FAILED ("could not get double attribute " * ev->which);
44
43
attribute_widget_rep::handle_get_string (get_string_event ev) {
45
fatal_error ("Could not get string attribute " * ev->which);
44
WK_FAILED ("could not get string attribute " * ev->which);
49
48
attribute_widget_rep::handle_get_coord1 (get_coord1_event ev) {
50
fatal_error ("Could not get coord1 attribute " * ev->which);
49
WK_FAILED ("could not get coord1 attribute " * ev->which);
54
53
attribute_widget_rep::handle_get_coord2 (get_coord2_event ev) {
55
fatal_error ("Could not get coord2 attribute " * ev->which);
54
WK_FAILED ("could not get coord2 attribute " * ev->which);
59
58
attribute_widget_rep::handle_get_coord3 (get_coord3_event ev) {
60
fatal_error ("Could not get coord3 attribute " * ev->which);
59
WK_FAILED ("could not get coord3 attribute " * ev->which);
64
63
attribute_widget_rep::handle_get_coord4 (get_coord4_event ev) {
65
fatal_error ("Could not get coord4 attribute " * ev->which);
64
WK_FAILED ("could not get coord4 attribute " * ev->which);
68
67
/******************************************************************************
73
72
attribute_widget_rep::handle_set_integer (set_integer_event ev) {
74
fatal_error ("Could not set integer attribute " * ev->which);
73
WK_FAILED ("could not set integer attribute " * ev->which);
78
77
attribute_widget_rep::handle_set_double (set_double_event ev) {
79
fatal_error ("Could not set double attribute " * ev->which);
78
WK_FAILED ("could not set double attribute " * ev->which);
83
82
attribute_widget_rep::handle_set_string (set_string_event ev) {
84
fatal_error ("Could not set string attribute " * ev->which);
83
WK_FAILED ("could not set string attribute " * ev->which);
88
87
attribute_widget_rep::handle_set_coord1 (set_coord1_event ev) {
89
fatal_error ("Could not set coord1 attribute " * ev->which);
88
WK_FAILED ("could not set coord1 attribute " * ev->which);
93
92
attribute_widget_rep::handle_set_coord2 (set_coord2_event ev) {
94
fatal_error ("Could not set coord2 attribute " * ev->which);
93
WK_FAILED ("could not set coord2 attribute " * ev->which);
98
97
attribute_widget_rep::handle_set_coord3 (set_coord3_event ev) {
99
fatal_error ("Could not set coord3 attribute " * ev->which);
98
WK_FAILED ("could not set coord3 attribute " * ev->which);
103
102
attribute_widget_rep::handle_set_coord4 (set_coord4_event ev) {
104
fatal_error ("Could not set coord4 attribute " * ev->which);
103
WK_FAILED ("could not set coord4 attribute " * ev->which);
107
106
/******************************************************************************