LCOV - code coverage report
Current view: top level - gui/source/sketch - gui_sketch_area.c (source / functions) Coverage Total Hit
Test: crystal-facet-uml_v1.64.2_covts Lines: 0.0 % 794 0
Test Date: 2025-06-21 07:03:58 Functions: 0.0 % 21 0

            Line data    Source code
       1              : /* File: gui_sketch_area.c; Copyright and License: see below */
       2              : 
       3              : #include "sketch/gui_sketch_area.h"
       4              : #include "gui_sketch_card_layouter.h"
       5              : #include "gui_tool.h"
       6              : #include "pencil_diagram_maker.h"
       7              : #include "geometry/geometry_rectangle.h"
       8              : #include "entity/data_table.h"
       9              : #include "entity/data_id.h"
      10              : #include "u8/u8_trace.h"
      11              : #include "u8/u8_log.h"
      12              : #include "gui_gtk.h"
      13              : #include "gui_gdk.h"
      14              : #include <stdint.h>
      15              : #include <stdbool.h>
      16              : 
      17            0 : void gui_sketch_area_init( gui_sketch_area_t *this_,
      18              :                            GtkWidget *drawing_area,
      19              :                            gui_marked_set_t *marker,
      20              :                            gui_toolbox_t *toolbox,
      21              :                            gui_simple_message_to_user_t *message_to_user,
      22              :                            gui_resources_t *resources,
      23              :                            ctrl_controller_t *controller,
      24              :                            data_database_reader_t *db_reader )
      25              : {
      26            0 :     U8_TRACE_BEGIN();
      27            0 :     assert( NULL != drawing_area );
      28            0 :     assert( NULL != marker );
      29            0 :     assert( NULL != toolbox );
      30            0 :     assert( NULL != message_to_user );
      31            0 :     assert( NULL != resources );
      32            0 :     assert( NULL != controller );
      33            0 :     assert( NULL != db_reader );
      34              : 
      35              :     /* init pointers to external objects */
      36            0 :     (*this_).drawing_area = drawing_area;
      37            0 :     (*this_).toolbox = toolbox;
      38            0 :     (*this_).message_to_user = message_to_user;
      39            0 :     (*this_).resources = resources;
      40            0 :     (*this_).db_reader = db_reader;
      41            0 :     (*this_).controller = controller;
      42              : 
      43              :     /* init instance of requested tool-mode and diagram-ids */
      44            0 :     gui_sketch_request_init( &((*this_).request) );
      45              : 
      46              :     /* init instances of own objects */
      47            0 :     (*this_).card_num = 0;
      48            0 :     (*this_).marker = marker;
      49            0 :     gui_sketch_texture_init( &((*this_).texture_downloader) );
      50            0 :     gui_sketch_nav_tree_init( &((*this_).nav_tree), resources, &((*this_).texture_downloader) );
      51            0 :     gui_sketch_result_list_init( &((*this_).result_list), resources, &((*this_).texture_downloader) );
      52            0 :     gui_sketch_drag_state_init ( &((*this_).drag_state) );
      53            0 :     gui_sketch_card_painter_init( &((*this_).card_overlay), resources, &((*this_).texture_downloader) );
      54            0 :     gui_sketch_background_init( &((*this_).background), resources, &((*this_).texture_downloader) );
      55            0 :     gui_sketch_object_creator_init ( &((*this_).object_creator), controller, db_reader, message_to_user );
      56              : 
      57              :     /* connect draw/update and mouse move and key signals to the controllers of this widget */
      58            0 :     gtk_drawing_area_set_draw_func( GTK_DRAWING_AREA((*this_).drawing_area),
      59              :                                     (GtkDrawingAreaDrawFunc) gui_sketch_area_draw_callback,
      60              :                                     this_,
      61              :                                     NULL
      62              :                                   );
      63            0 :     gtk_widget_set_sensitive( (*this_).drawing_area, true );
      64            0 :     gtk_widget_set_can_focus( (*this_).drawing_area, true );
      65            0 :     gtk_widget_set_focusable( (*this_).drawing_area, true );
      66            0 :     gtk_widget_set_can_target( (*this_).drawing_area, true );
      67            0 :     gtk_widget_set_focus_on_click( (*this_).drawing_area, true );
      68              : 
      69            0 :     GtkEventController *evt_move = gtk_event_controller_motion_new();
      70            0 :     g_signal_connect( evt_move, "enter", G_CALLBACK(gui_sketch_area_motion_notify_callback), this_ );
      71            0 :     g_signal_connect( evt_move, "motion", G_CALLBACK(gui_sketch_area_motion_notify_callback), this_ );
      72            0 :     g_signal_connect( evt_move, "leave", G_CALLBACK(gui_sketch_area_leave_notify_callback), this_ );
      73            0 :     gtk_widget_add_controller( (*this_).drawing_area, GTK_EVENT_CONTROLLER(evt_move) );
      74              : 
      75            0 :     GtkEventController *evt_key = gtk_event_controller_key_new();
      76            0 :     g_signal_connect( evt_key, "key-pressed", G_CALLBACK(gui_sketch_area_key_press_callback), this_ );
      77              :     /*
      78              :     g_signal_connect( evt_key, "modifiers", G_CALLBACK(gui_sketch_area_key_callback), this_ );
      79              :     g_signal_connect( evt_key, "key-released", G_CALLBACK(gui_sketch_area_key_release_callback), this_ );
      80              :     */
      81            0 :     gtk_widget_add_controller( (*this_).drawing_area, GTK_EVENT_CONTROLLER(evt_key) );
      82              : 
      83            0 :     GtkGesture *evt_button = gtk_gesture_click_new();
      84            0 :     g_signal_connect( evt_button, "pressed", G_CALLBACK(gui_sketch_area_button_press_callback), this_ );
      85            0 :     g_signal_connect( evt_button, "released", G_CALLBACK(gui_sketch_area_button_release_callback), this_ );
      86            0 :     gtk_widget_add_controller( (*this_).drawing_area, GTK_EVENT_CONTROLLER(evt_button) );
      87              : 
      88              :     /* fetch initial data from the database */
      89            0 :     gui_sketch_area_show_diagram( this_, DATA_ID_VOID );
      90              : 
      91            0 :     U8_TRACE_END();
      92            0 : }
      93              : 
      94            0 : void gui_sketch_area_destroy( gui_sketch_area_t *this_ )
      95              : {
      96            0 :     U8_TRACE_BEGIN();
      97              : 
      98              :     /* destroy instances of own objects */
      99            0 :     gui_sketch_result_list_destroy( &((*this_).result_list) );
     100            0 :     gui_sketch_nav_tree_destroy( &((*this_).nav_tree) );
     101              : 
     102              :     /* destroy all cards */
     103            0 :     for ( int idx = 0; idx < (*this_).card_num; idx ++ )
     104              :     {
     105            0 :         gui_sketch_card_destroy( &((*this_).cards[idx]) );
     106              :     }
     107            0 :     (*this_).card_num = 0;
     108              : 
     109              :     /* destroy instances of own objects */
     110            0 :     gui_sketch_object_creator_destroy ( &((*this_).object_creator) );
     111            0 :     gui_sketch_card_painter_destroy( &((*this_).card_overlay) );
     112            0 :     gui_sketch_background_destroy( &((*this_).background) );
     113            0 :     gui_sketch_drag_state_destroy ( &((*this_).drag_state) );
     114            0 :     gui_sketch_texture_destroy( &((*this_).texture_downloader) );
     115              : 
     116              :     /* destroy instance of requested tool-mode and diagram-ids */
     117            0 :     gui_sketch_request_destroy( &((*this_).request) );
     118              : 
     119              :     /* unset pointers to external objects */
     120            0 :     (*this_).drawing_area = NULL;
     121            0 :     (*this_).marker = NULL;
     122            0 :     (*this_).toolbox = NULL;
     123            0 :     (*this_).message_to_user = NULL;
     124            0 :     (*this_).resources = NULL;
     125            0 :     (*this_).db_reader = NULL;
     126            0 :     (*this_).controller = NULL;
     127              : 
     128            0 :     U8_TRACE_END();
     129            0 : }
     130              : 
     131            0 : void gui_sketch_area_show_result_list ( gui_sketch_area_t *this_, const data_search_result_list_t *result_list )
     132              : {
     133            0 :     U8_TRACE_BEGIN();
     134            0 :     assert( NULL != result_list );
     135              : 
     136            0 :     data_search_result_list_trace(result_list);
     137              : 
     138              :     /* copy non-duplicate diagram ids to request list */
     139            0 :     data_small_set_t* requested_diagrams = gui_sketch_request_get_search_result_diagrams_ptr( &((*this_).request) );
     140            0 :     data_small_set_clear( requested_diagrams );
     141            0 :     unsigned int dropped_duplicates = 0;
     142            0 :     unsigned int dropped_too_many = 0;
     143            0 :     const uint_fast32_t d_count = data_search_result_list_get_length( result_list );
     144            0 :     for ( uint_fast32_t index = 0; index < d_count; index ++ )
     145              :     {
     146            0 :         const data_search_result_t *diag_rec = data_search_result_list_get_const( result_list, index );
     147            0 :         const data_id_t diag_id = data_search_result_get_diagram_id( diag_rec );
     148            0 :         const u8_error_t d_err = data_small_set_add_obj( requested_diagrams, diag_id );
     149            0 :         if ( d_err == U8_ERROR_DUPLICATE_ID )
     150              :         {
     151            0 :             dropped_duplicates ++;
     152              :         }
     153            0 :         else if ( d_err == U8_ERROR_ARRAY_BUFFER_EXCEEDED )
     154              :         {
     155            0 :             dropped_too_many ++;
     156              :         }
     157              :     }
     158            0 :     if ( (dropped_duplicates + dropped_too_many) > 0 )
     159              :     {
     160            0 :         U8_TRACE_INFO_INT_INT( "dropped_duplicates, dropped_too_many:", dropped_duplicates, dropped_too_many );
     161              :     }
     162              : 
     163              :     /* load new data */
     164            0 :     gui_sketch_area_private_load_cards_data ( this_ );
     165              : 
     166              :     /* load new data in subwidgets */
     167            0 :     gui_sketch_result_list_load_data( &((*this_).result_list), result_list, (*this_).db_reader );
     168              : 
     169              :     /* notify listener */
     170            0 :     gui_marked_set_clear_focused( (*this_).marker );
     171            0 :     gui_marked_set_clear_selected_set( (*this_).marker );
     172              : 
     173              :     /* mark dirty rect */
     174            0 :     gtk_widget_queue_draw( (*this_).drawing_area );
     175              : 
     176            0 :     U8_TRACE_END();
     177            0 : }
     178              : 
     179            0 : void gui_sketch_area_draw_callback( GtkDrawingArea *widget, cairo_t *cr, int width, int height, gpointer data )
     180              : {
     181            0 :     U8_TRACE_BEGIN();
     182            0 :     U8_TRACE_TIMESTAMP();
     183            0 :     assert( NULL != cr );
     184            0 :     gui_sketch_area_t *this_ = data;
     185            0 :     assert( NULL != this_ );
     186            0 :     assert( GTK_WIDGET(widget) == (*this_).drawing_area );
     187              : 
     188            0 :     gui_sketch_area_draw( this_, width, height, cr );
     189              : 
     190            0 :     U8_TRACE_END();
     191            0 : }
     192              : 
     193            0 : void gui_sketch_area_draw( gui_sketch_area_t *this_, int width, int height, cairo_t *cr )
     194              : {
     195            0 :     U8_TRACE_BEGIN();
     196            0 :     assert( NULL != cr );
     197              : 
     198            0 :     if ( ! data_database_reader_is_open( (*this_).db_reader ) )
     199              :     {
     200              :         shape_int_rectangle_t bounds;
     201            0 :         shape_int_rectangle_init( &bounds, 0, 0, width, height );
     202            0 :         gui_sketch_background_set_bounds( &((*this_).background), bounds );
     203            0 :         gui_sketch_background_draw_introduction( &((*this_).background), cr );
     204              :     }
     205              :     else
     206              :     {
     207              :         shape_int_rectangle_t bounds;
     208            0 :         shape_int_rectangle_init( &bounds, 0, 0, width, height );
     209            0 :         if ( ! gui_sketch_drag_state_is_dragging ( &((*this_).drag_state) ) )
     210              :         {
     211            0 :             gui_sketch_area_private_layout_subwidgets( this_, bounds, cr );
     212              :         }
     213            0 :         gui_sketch_area_private_draw_subwidgets( this_, bounds, cr );
     214              :     }
     215              : 
     216            0 :     U8_TRACE_END();
     217            0 : }
     218              : 
     219            0 : void gui_sketch_area_show_diagram ( gui_sketch_area_t *this_, data_id_t main_diagram_id )
     220              : {
     221            0 :     U8_TRACE_BEGIN();
     222              : 
     223            0 :     data_id_trace( &main_diagram_id );
     224              :     const uint32_t src_results_cnt
     225            0 :         = data_small_set_get_count( gui_sketch_request_get_search_result_diagrams_const( &((*this_).request) ) );
     226            0 :     U8_TRACE_INFO_INT( "src_results_cnt:", src_results_cnt );
     227              : 
     228              :     /* determine diagram id of root diagram */
     229            0 :     if ( ! data_id_is_valid( &main_diagram_id ) )
     230              :     {
     231              :         /* load all without parent */
     232              :         data_small_set_t roots;
     233            0 :         data_small_set_init( &roots );
     234              :         const u8_error_t db_err
     235            0 :             = data_database_reader_get_diagram_ids_by_parent_id( (*this_).db_reader,
     236              :                                                                  DATA_ROW_VOID,
     237              :                                                                  &roots
     238              :                                                                );
     239            0 :         const uint32_t count = data_small_set_get_count( &roots );
     240            0 :         if ( u8_error_contains( db_err, U8_ERROR_NO_DB ) )
     241              :         {
     242            0 :             U8_TRACE_INFO( "database not open.");
     243              :         }
     244            0 :         else if ( U8_ERROR_NONE != db_err )
     245              :         {
     246            0 :             U8_LOG_ERROR_HEX( "data_database_reader_get_diagrams_by_parent_id failed.", db_err );
     247              :         }
     248            0 :         else if ( count > 1 )
     249              :         {
     250            0 :             U8_LOG_ERROR_INT( "more than one root diagram exists!", count );
     251              :         }
     252            0 :         else if ( count < 1 )
     253              :         {
     254            0 :             U8_TRACE_INFO( "no root diagram exists!" );
     255              :         }
     256              :         else
     257              :         {
     258            0 :             main_diagram_id = data_small_set_get_id( &roots, 0 );
     259            0 :             U8_TRACE_INFO_INT( "main_diagram_id:", data_id_get_row_id( &main_diagram_id ));
     260              :         }
     261              : 
     262              :         /* cleanup */
     263            0 :         data_small_set_destroy( &roots );
     264              :     }
     265              : 
     266              :     /* store request */
     267            0 :     gui_sketch_request_set_focused_diagram( &((*this_).request), main_diagram_id );
     268              : 
     269              :     /* load data to be drawn */
     270            0 :     gui_sketch_area_private_load_cards_data ( this_ );
     271              : 
     272            0 :     U8_TRACE_END();
     273            0 : }
     274              : 
     275            0 : void gui_sketch_area_private_refocus_and_reload_data ( gui_sketch_area_t *this_ )
     276              : {
     277            0 :     U8_TRACE_BEGIN();
     278              : 
     279              :     /* determine currently selected diagram id and parent id from cache for emergency-fallback */
     280            0 :     const data_id_t former_diagram_id = gui_sketch_request_get_focused_diagram( &((*this_).request) );
     281            0 :     const data_id_t former_parent_diagram_id = gui_sketch_request_get_parent_diagram( &((*this_).request) );
     282              : 
     283              :     /* reload diagram data */
     284            0 :     gui_sketch_area_show_diagram( this_, former_diagram_id );
     285              : 
     286            0 :     if ( GUI_TOOL_SEARCH != gui_sketch_request_get_tool_mode( &((*this_).request) ) )
     287              :     {
     288            0 :         if ( data_id_is_valid( &former_diagram_id )
     289            0 :             &&( DATA_ROW_VOID == gui_sketch_area_private_get_focused_diagram_id( this_ ) ))
     290              :         {
     291              :             /* the requested diagram was not loaded, try the parent: */
     292            0 :             gui_sketch_area_show_diagram( this_, former_parent_diagram_id );
     293              : 
     294            0 :             if ( data_id_is_valid( &former_parent_diagram_id )
     295            0 :                 &&( DATA_ROW_VOID == gui_sketch_area_private_get_focused_diagram_id( this_ ) ))
     296              :             {
     297              :                 /* the requested diagram was not loaded, go back to root diagram: */
     298            0 :                 gui_sketch_area_show_diagram( this_, DATA_ID_VOID );
     299              :             }
     300              : 
     301              :             /* clear the selected set */
     302            0 :             gui_marked_set_clear_selected_set( (*this_).marker );
     303              :         }
     304              :     }
     305              : 
     306            0 :     U8_TRACE_END();
     307            0 : }
     308              : 
     309            0 : void gui_sketch_area_private_load_cards_data ( gui_sketch_area_t *this_ )
     310              : {
     311            0 :     U8_TRACE_BEGIN();
     312              : 
     313              :     /* destroy _all_ old cards */
     314            0 :     for ( uint_fast32_t idx = 0; idx < (*this_).card_num; idx ++ )
     315              :     {
     316            0 :         gui_sketch_card_destroy( &((*this_).cards[idx]) );
     317              :     }
     318            0 :     (*this_).card_num = 0;
     319              : 
     320              :     /* load new cards */
     321            0 :     switch ( gui_sketch_request_get_tool_mode( &((*this_).request) ) )
     322              :     {
     323            0 :         case GUI_TOOL_SEARCH:
     324              :         {
     325              :             const data_small_set_t* requested_diagrams
     326            0 :                 = gui_sketch_request_get_search_result_diagrams_const( &((*this_).request) );
     327              : 
     328            0 :             const uint_fast32_t d_count = data_small_set_get_count( requested_diagrams );
     329            0 :             for ( uint_fast32_t index = 0; index < d_count; index ++ )
     330              :             {
     331            0 :                 const data_id_t diag_id = data_small_set_get_id( requested_diagrams, index );
     332            0 :                 if ( (*this_).card_num < GUI_SKETCH_AREA_CONST_MAX_CARDS )
     333              :                 {
     334            0 :                     gui_sketch_card_init( &((*this_).cards[(*this_).card_num]) );
     335            0 :                     gui_sketch_card_load_data( &((*this_).cards[(*this_).card_num]), diag_id, (*this_).db_reader );
     336            0 :                     if ( gui_sketch_card_is_valid( &((*this_).cards[(*this_).card_num]) ) )
     337              :                     {
     338            0 :                         (*this_).card_num ++;
     339              :                     }
     340              :                     else
     341              :                     {
     342            0 :                         U8_TRACE_INFO_INT( "could not load diagram:", data_id_get_row_id(&diag_id) );
     343              :                     }
     344              :                 }
     345              :                 else
     346              :                 {
     347            0 :                     U8_TRACE_INFO_INT( "max diagrams exeeded, dropping diagram:", data_id_get_row_id(&diag_id) );
     348              :                 }
     349              :             }
     350              :         }
     351            0 :         break;
     352              : 
     353            0 :         default:
     354              :         {
     355            0 :             const data_id_t main_diagram_id = gui_sketch_request_get_focused_diagram( &((*this_).request) );
     356              : 
     357            0 :             gui_sketch_card_init( &((*this_).cards[GUI_SKETCH_AREA_CONST_FOCUSED_CARD]) );
     358            0 :             gui_sketch_card_load_data( &((*this_).cards[GUI_SKETCH_AREA_CONST_FOCUSED_CARD]), main_diagram_id, (*this_).db_reader );
     359            0 :             (*this_).card_num = 1;
     360            0 :             gui_sketch_nav_tree_load_data( &((*this_).nav_tree), data_id_get_row_id( &main_diagram_id ), (*this_).db_reader );
     361              : 
     362              :             /* determine ids */
     363            0 :             const data_diagram_t *selected_diag = gui_sketch_area_private_get_focused_diagram_ptr( this_ );
     364            0 :             const data_row_t selected_diagram_row_id = data_diagram_get_row_id( selected_diag );
     365            0 :             const data_id_t selected_diagram_id = data_diagram_get_data_id( selected_diag );
     366            0 :             U8_TRACE_INFO_INT( "selected_diagram_row_id:", selected_diagram_row_id );
     367            0 :             const data_id_t parent_diagram_id = data_diagram_get_parent_data_id( selected_diag );
     368            0 :             U8_TRACE_INFO_INT( "parent_diagram_id:", data_id_get_row_id( &parent_diagram_id ) );
     369              : 
     370            0 :             const data_id_t former_focused_diag = gui_marked_set_get_focused_diagram( (*this_).marker);
     371            0 :             gui_sketch_request_set_parent_diagram( &((*this_).request), parent_diagram_id );
     372            0 :             if ( ! data_id_equals_or_both_void( &former_focused_diag, &selected_diagram_id ) )
     373              :             {
     374              :                 /* clear focused but keep selected_diagram_id, needed for gui_toolbox_paste */
     375            0 :                 gui_marked_set_set_focused( (*this_).marker, DATA_FULL_ID_VOID, selected_diagram_id );
     376              :             }
     377              :             else
     378              :             {
     379              :                 /* DO NOT NOTIFY CHANGES IN A POSSIBLE DATA CHANGE CALLBACK - MAY CAUSE ENDLESS RECURSION */
     380              :             }
     381              : 
     382              :             const gui_tool_t selected_tool
     383            0 :                 = gui_sketch_request_get_tool_mode( &((*this_).request) );
     384            0 :             if ( GUI_TOOL_NAVIGATE == selected_tool )
     385              :             {
     386              : 
     387              :                 /* load parent even if there is no parent (-->VOID) */
     388            0 :                 gui_sketch_card_init( &((*this_).cards[GUI_SKETCH_AREA_CONST_PARENT_CARD]) );
     389            0 :                 gui_sketch_card_load_data( &((*this_).cards[GUI_SKETCH_AREA_CONST_PARENT_CARD]), parent_diagram_id, (*this_).db_reader );
     390            0 :                 (*this_).card_num = 2;
     391              : 
     392              :                 /* load all children (up to GUI_SKETCH_AREA_CONST_MAX_TEMP_DIAGRAMS)*/
     393              :                 data_small_set_t children;
     394            0 :                 data_small_set_init( &children );
     395              :                 const u8_error_t db_err
     396            0 :                     = data_database_reader_get_diagram_ids_by_parent_id( (*this_).db_reader,
     397              :                                                                          selected_diagram_row_id,
     398              :                                                                          &children
     399              :                                                                        );
     400            0 :                 if ( u8_error_contains( db_err, U8_ERROR_NO_DB ) )
     401              :                 {
     402            0 :                     U8_TRACE_INFO( "database not open.");
     403              :                 }
     404            0 :                 else if ( U8_ERROR_NONE != db_err )
     405              :                 {
     406            0 :                     U8_LOG_ERROR_HEX( "data_database_reader_get_diagram_ids_by_parent_id failed.", db_err );
     407              :                 }
     408              :                 else
     409              :                 {
     410            0 :                     for ( uint_fast32_t index = 0; index < data_small_set_get_count( &children ); index ++ )
     411              :                     {
     412            0 :                         const data_id_t child = data_small_set_get_id( &children, index );
     413            0 :                         if ( (*this_).card_num < GUI_SKETCH_AREA_CONST_MAX_CARDS )
     414              :                         {
     415            0 :                             gui_sketch_card_init( &((*this_).cards[(*this_).card_num]) );
     416            0 :                             gui_sketch_card_load_data( &((*this_).cards[(*this_).card_num]), child, (*this_).db_reader );
     417            0 :                             (*this_).card_num ++;
     418              :                         }
     419              :                         else
     420              :                         {
     421            0 :                             U8_LOG_ERROR_INT( "more children diagrams exist than fit into cards array:", data_id_get_row_id( &child ) );
     422              :                         }
     423              :                     }
     424              :                 }
     425              :                 /* cleanup */
     426            0 :                 data_small_set_destroy( &children );
     427              :             }
     428              : 
     429              :         }
     430            0 :         break;
     431              :     }
     432              : 
     433            0 :     U8_TRACE_END();
     434            0 : }
     435              : 
     436              : static const uint32_t NAV_TREE_WIDTH = 224;
     437              : static const uint32_t RESULT_LIST_WIDTH = 240;
     438              : 
     439            0 : void gui_sketch_area_private_layout_subwidgets ( gui_sketch_area_t *this_, shape_int_rectangle_t area_bounds, cairo_t *cr )
     440              : {
     441            0 :     U8_TRACE_BEGIN();
     442            0 :     assert( NULL != cr );
     443            0 :     assert((*this_).card_num <= GUI_SKETCH_AREA_CONST_MAX_CARDS);
     444              : 
     445              :     gui_tool_t selected_tool;
     446            0 :     selected_tool = gui_sketch_request_get_tool_mode( &((*this_).request) );
     447              : 
     448              :     /* fetch area bounds */
     449            0 :     const uint32_t width = shape_int_rectangle_get_width( &area_bounds );
     450            0 :     const uint32_t height = shape_int_rectangle_get_height( &area_bounds );
     451            0 :     const int32_t left = shape_int_rectangle_get_left( &area_bounds );
     452            0 :     const int32_t top = shape_int_rectangle_get_top( &area_bounds );
     453            0 :     U8_TRACE_INFO_INT_INT( "width, height", width, height );
     454              : 
     455              :     /* layout result list */
     456            0 :     const bool result_list_visible = ( GUI_TOOL_SEARCH == selected_tool );
     457              :     {
     458              :         shape_int_rectangle_t result_list_bounds;
     459            0 :         shape_int_rectangle_init( &result_list_bounds, left, top, RESULT_LIST_WIDTH, height );
     460            0 :         gui_sketch_result_list_set_bounds( &((*this_).result_list ), result_list_bounds );
     461            0 :         gui_sketch_result_list_set_visible( &((*this_).result_list), result_list_visible );
     462            0 :         if ( result_list_visible )
     463              :         {
     464            0 :             gui_sketch_result_list_do_layout( &((*this_).result_list), cr );
     465              :         }
     466              :     }
     467              : 
     468              :     /* layout nav tree */
     469            0 :     const bool nav_tree_visible = ( GUI_TOOL_NAVIGATE == selected_tool );
     470              :     {
     471              :         shape_int_rectangle_t nav_tree_bounds;
     472            0 :         shape_int_rectangle_init( &nav_tree_bounds, left, top, NAV_TREE_WIDTH, height );
     473            0 :         gui_sketch_nav_tree_set_bounds( &((*this_).nav_tree), nav_tree_bounds );
     474            0 :         gui_sketch_nav_tree_set_visible( &((*this_).nav_tree), nav_tree_visible );
     475            0 :         if ( nav_tree_visible )
     476              :         {
     477            0 :             gui_sketch_nav_tree_do_layout( &((*this_).nav_tree), cr );
     478              :         }
     479              :     }
     480              : 
     481              :     /* layout cards */
     482            0 :     const int32_t cards_left = left + (nav_tree_visible ? NAV_TREE_WIDTH : (result_list_visible ? RESULT_LIST_WIDTH : 0 ));
     483            0 :     const uint32_t cards_width = (width > (cards_left-left)) ? (width - (cards_left-left)) : 0;
     484              :     {
     485              :         shape_int_rectangle_t cards_bounds;
     486            0 :         shape_int_rectangle_init( &cards_bounds, cards_left, top, cards_width, height );
     487              :         gui_sketch_card_layouter_t cards_layouter;
     488            0 :         gui_sketch_card_layouter_init( &cards_layouter, &cards_bounds );
     489            0 :         gui_sketch_card_layouter_layout( &cards_layouter, selected_tool, &((*this_).cards[0]), (*this_).card_num, cr );
     490            0 :         gui_sketch_card_layouter_destroy( &cards_layouter );
     491              :     }
     492              : 
     493              :     /* layout background */
     494              :     {
     495              :         shape_int_rectangle_t background_bounds;
     496            0 :         shape_int_rectangle_init( &background_bounds, cards_left, top, cards_width, height );
     497            0 :         gui_sketch_background_set_bounds( &((*this_).background), background_bounds );
     498              :     }
     499              : 
     500            0 :     U8_TRACE_END();
     501            0 : }
     502              : 
     503            0 : void gui_sketch_area_private_draw_subwidgets ( gui_sketch_area_t *this_, shape_int_rectangle_t area_bounds, cairo_t *cr )
     504              : {
     505            0 :     U8_TRACE_BEGIN();
     506            0 :     assert( NULL != cr );
     507              : 
     508            0 :     const gui_tool_t selected_tool = gui_sketch_request_get_tool_mode( &((*this_).request) );
     509              : 
     510              :     /* draw background */
     511            0 :     switch( selected_tool )
     512              :     {
     513            0 :         case GUI_TOOL_SEARCH:
     514              :         {
     515            0 :             gui_sketch_background_draw_search( &((*this_).background), cr );
     516              :         }
     517            0 :         break;
     518              : 
     519            0 :         case GUI_TOOL_NAVIGATE:
     520              :         {
     521            0 :             const unsigned int depth
     522            0 :                 = ( gui_sketch_card_is_valid( &((*this_).cards[GUI_SKETCH_AREA_CONST_PARENT_CARD]) ) ) ? 1 : 0;  /* currently, only root and non-root can be distinguished */
     523            0 :             const unsigned int children
     524            0 :                 = (*this_).card_num-2;
     525            0 :             gui_sketch_background_draw_navigation( &((*this_).background), depth, children, cr );
     526              :         }
     527            0 :         break;
     528              : 
     529            0 :         case GUI_TOOL_EDIT:
     530              :         {
     531            0 :             gui_sketch_background_draw_edit( &((*this_).background), cr );
     532              :         }
     533            0 :         break;
     534              : 
     535            0 :         case GUI_TOOL_CREATE:
     536              :         {
     537            0 :             gui_sketch_background_draw_create( &((*this_).background), cr );
     538              :         }
     539            0 :         break;
     540              : 
     541            0 :         default:
     542              :         {
     543            0 :             assert(false);
     544              :         }
     545              :         break;
     546              :     }
     547              : 
     548              :     /* draw result list */
     549              :     {
     550            0 :         gui_sketch_result_list_draw( &((*this_).result_list), (*this_).marker, cr );
     551              :     }
     552              : 
     553              :     /* draw nav tree */
     554              :     {
     555            0 :         gui_sketch_nav_tree_draw( &((*this_).nav_tree), (*this_).marker, cr );
     556              :     }
     557              : 
     558              :     /* draw all cards, backwards */
     559            0 :     for ( signed int card_idx = (*this_).card_num-1; card_idx >= 0; card_idx -- )
     560              :     {
     561            0 :         gui_sketch_card_t *card = &((*this_).cards[card_idx]);
     562              :         /* lazy layouting: only re-calulate positions when these are needed: */
     563            0 :         if ( gui_sketch_card_needs_layout( card ) )
     564              :         {
     565            0 :             gui_sketch_card_layout_elements( card, cr );
     566              :         }
     567              : 
     568            0 :         gui_sketch_card_painter_draw_paper( &((*this_).card_overlay),
     569              :                                             selected_tool,
     570            0 :                                             &((*this_).drag_state),
     571              :                                             card,
     572              :                                             cr
     573              :                                           );
     574            0 :         gui_sketch_card_draw( card, (*this_).marker, cr );
     575              :     }
     576              : 
     577              :     /* overlay tool-helper lines */
     578            0 :     const int32_t mouse_x = gui_sketch_drag_state_get_to_x( &((*this_).drag_state) );
     579            0 :     const int32_t mouse_y = gui_sketch_drag_state_get_to_y( &((*this_).drag_state) );
     580            0 :     gui_sketch_card_painter_draw_overlay( &((*this_).card_overlay),
     581              :                                           selected_tool,
     582            0 :                                           &((*this_).drag_state),
     583            0 :                                           gui_sketch_area_private_get_card_at_pos ( this_, mouse_x, mouse_y ),
     584              :                                           (*this_).marker,
     585              :                                           cr
     586              :                                         );
     587            0 :     gui_sketch_nav_tree_draw_overlay( &((*this_).nav_tree), &((*this_).drag_state) , cr );
     588              : 
     589            0 :     U8_TRACE_END();
     590            0 : }
     591              : 
     592            0 : void gui_sketch_area_leave_notify_callback( GtkEventControllerMotion* self, gpointer user_data )
     593              : {
     594            0 :     U8_TRACE_BEGIN();
     595            0 :     U8_TRACE_TIMESTAMP();
     596            0 :     gui_sketch_area_t *this_ = user_data;
     597            0 :     assert( NULL != this_ );
     598              : 
     599            0 :     gui_marked_set_clear_highlighted( (*this_).marker );
     600              :     /* mark dirty rect */
     601            0 :     gtk_widget_queue_draw( (*this_).drawing_area );
     602              : 
     603            0 :     U8_TRACE_END();
     604            0 : }
     605              : 
     606            0 : void gui_sketch_area_motion_notify_callback( GtkEventControllerMotion* self,
     607              :                                              gdouble in_x,
     608              :                                              gdouble in_y,
     609              :                                              gpointer user_data )
     610              : {
     611            0 :     U8_TRACE_BEGIN();
     612            0 :     gui_sketch_area_t *this_ = user_data;
     613            0 :     assert( NULL != this_ );
     614              : 
     615            0 :     gui_sketch_area_motion_notify( this_, (int)in_x, (int)in_y );
     616              : 
     617            0 :     U8_TRACE_END();
     618            0 : }
     619              : 
     620            0 : void gui_sketch_area_motion_notify( gui_sketch_area_t *this_, int x, int y )
     621              : {
     622            0 :     U8_TRACE_BEGIN();
     623            0 :     U8_TRACE_INFO_INT_INT( "x/y", x, y );
     624              : 
     625              :     /* update drag coordinates */
     626            0 :     gui_sketch_drag_state_set_to ( &((*this_).drag_state), x, y );
     627              : 
     628              :     /* do highlight */
     629            0 :     const gui_tool_t selected_tool = gui_sketch_request_get_tool_mode( &((*this_).request) );
     630            0 :     switch ( selected_tool )
     631              :     {
     632            0 :         case GUI_TOOL_SEARCH:  /* or */
     633              :         case GUI_TOOL_NAVIGATE:
     634              :         {
     635            0 :             if ( gui_sketch_drag_state_is_dragging ( &((*this_).drag_state) ) )
     636              :             {
     637              :                 /* always redraw while dragging */
     638            0 :                 gtk_widget_queue_draw( (*this_).drawing_area );
     639              :             }
     640              :             else /* not dragging */
     641              :             {
     642            0 :                 data_id_t object_under_mouse = DATA_ID_VOID;
     643            0 :                 data_id_t diag_under_mouse = DATA_ID_VOID;
     644            0 :                 gui_sketch_area_private_get_diagram_and_object_id_at_pos ( this_, x, y, &diag_under_mouse, &object_under_mouse );
     645            0 :                 gui_sketch_action_t btn_under_mouse = GUI_SKETCH_ACTION_NONE;
     646            0 :                 if ( selected_tool == GUI_TOOL_NAVIGATE )
     647              :                 {
     648            0 :                     gui_sketch_nav_tree_get_button_at_pos( &((*this_).nav_tree), x, y, &btn_under_mouse );
     649              :                 }
     650              : 
     651              :                 const data_id_t object_highlighted
     652            0 :                     = gui_marked_set_get_highlighted( (*this_).marker );
     653              :                 const data_id_t diag_highlighted
     654            0 :                     = gui_marked_set_get_highlighted_diagram( (*this_).marker );
     655              :                 const gui_sketch_action_t btn_highlighted
     656            0 :                     = gui_marked_set_get_highlighted_button( (*this_).marker );
     657            0 :                 const bool obj_both_void
     658            0 :                     = ( ! data_id_is_valid( &object_under_mouse ) )&&( ! data_id_is_valid( &object_highlighted ) );
     659            0 :                 const bool obj_equal_or_both_void
     660            0 :                     = data_id_equals( &object_under_mouse, &object_highlighted ) || obj_both_void;
     661            0 :                 const bool diag_both_void
     662            0 :                     = ( ! data_id_is_valid( &diag_under_mouse ) )&&( ! data_id_is_valid( &diag_highlighted ) );
     663            0 :                 const bool diag_equal_or_both_void
     664            0 :                     = data_id_equals( &diag_under_mouse, &diag_highlighted ) || diag_both_void;
     665            0 :                 const bool btn_changed = ( btn_under_mouse != btn_highlighted );
     666            0 :                 if (( btn_under_mouse != GUI_SKETCH_ACTION_NONE )&&( btn_changed ))
     667              :                 {
     668              :                     /* highlighted button is activated and has changed */
     669            0 :                     gui_marked_set_set_highlighted_button( (*this_).marker, btn_under_mouse );
     670              : 
     671              :                     /* mark dirty rect */
     672            0 :                     gtk_widget_queue_draw( (*this_).drawing_area );
     673              :                 }
     674            0 :                 else if (( ! obj_equal_or_both_void )||( ! diag_equal_or_both_void )||( btn_changed ))
     675              :                 {
     676              :                     /* highlight changed */
     677            0 :                     gui_marked_set_set_highlighted( (*this_).marker, object_under_mouse, diag_under_mouse );
     678              : 
     679              :                     /* mark dirty rect */
     680            0 :                     gtk_widget_queue_draw( (*this_).drawing_area );
     681              :                 }
     682              :             }
     683              :         }
     684            0 :         break;
     685              : 
     686            0 :         case GUI_TOOL_EDIT:
     687              :         {
     688            0 :             if ( gui_sketch_drag_state_is_dragging ( &((*this_).drag_state) ) )
     689              :             {
     690              :                 /* what is dragged? */
     691              :                 const data_full_id_t *const dragged_object
     692            0 :                     = gui_sketch_drag_state_get_dragged_object_ptr ( &((*this_).drag_state) );
     693              :                 const data_id_t dragged_element
     694            0 :                     = data_full_id_get_primary_id( dragged_object );
     695              :                 const data_id_t dragged_classifier
     696            0 :                     = data_full_id_get_secondary_id( dragged_object );
     697              : 
     698              :                 /* what is the target location? */
     699            0 :                 gui_sketch_card_t *target_card = gui_sketch_area_private_get_card_at_pos ( this_, x, y );
     700            0 :                 if ( NULL != target_card )
     701              :                 {
     702              :                     /* mark again - in case the marker was lost when mouse was outside window */
     703            0 :                     const data_id_t diag_id = gui_sketch_card_get_diagram_id( target_card );
     704            0 :                     gui_marked_set_set_highlighted( (*this_).marker, dragged_element, diag_id );
     705              : 
     706              :                     layout_order_t layout_order;
     707            0 :                     if ( DATA_TABLE_DIAGRAMELEMENT == data_id_get_table( &dragged_element ) )
     708              :                     {
     709            0 :                         layout_order = gui_sketch_card_get_order_at_pos( target_card, dragged_classifier, x, y );
     710            0 :                         layout_order_trace( &layout_order );
     711            0 :                         gui_sketch_card_move_object_to_order( target_card, dragged_classifier, &layout_order );
     712              :                     }
     713              :                     else
     714              :                     {
     715            0 :                         layout_order = gui_sketch_card_get_order_at_pos( target_card, dragged_element, x, y );
     716            0 :                         layout_order_trace( &layout_order );
     717            0 :                         gui_sketch_card_move_object_to_order( target_card, dragged_element, &layout_order );
     718              :                     }
     719              : 
     720              :                     /* mark dirty rect */
     721            0 :                     gtk_widget_queue_draw( (*this_).drawing_area );
     722              :                 }
     723              :                 else
     724              :                 {
     725            0 :                     gui_marked_set_clear_highlighted( (*this_).marker );
     726            0 :                     U8_TRACE_INFO( "mouse click outside sketch card." );
     727              :                 }
     728              :             }
     729              :             else /* not dragging */
     730              :             {
     731              :                 data_full_id_t object_under_mouse;
     732              :                 data_id_t diag_id;
     733            0 :                 gui_sketch_area_private_get_element_id_at_pos( this_,
     734              :                                                                x,
     735              :                                                                y,
     736              :                                                                true /* FILTER_LIFELINE */,
     737              :                                                                &object_under_mouse,
     738              :                                                                &diag_id
     739              :                                                              );
     740              :                 const data_id_t object_highlighted
     741            0 :                     = gui_marked_set_get_highlighted( (*this_).marker );
     742              :                 const data_id_t mouseover_element
     743            0 :                     = data_full_id_get_primary_id( &object_under_mouse );
     744            0 :                 if ( ! data_id_equals( &mouseover_element, &object_highlighted ) )
     745              :                 {
     746            0 :                     if ( data_full_id_is_valid( &object_under_mouse ) || data_id_is_valid( &object_highlighted ) )
     747              :                     {
     748              :                         /* highlight changed */
     749            0 :                         gui_marked_set_set_highlighted( (*this_).marker, mouseover_element, diag_id );
     750              : 
     751              :                         /* mark dirty rect */
     752            0 :                         gtk_widget_queue_draw( (*this_).drawing_area );
     753              :                     }
     754              :                 }
     755              :             }
     756              :         }
     757            0 :         break;
     758              : 
     759            0 :         case GUI_TOOL_CREATE:
     760              :         {
     761            0 :             const gui_sketch_card_t *const target_card = gui_sketch_area_private_get_card_at_pos ( this_, x, y );
     762            0 :             const layout_subelement_id_t element_id
     763              :                 = ( NULL == target_card )
     764              :                 ? LAYOUT_SUBELEMENT_ID_VOID
     765            0 :                 : gui_sketch_card_get_element_at_pos( target_card, x, y, false /* FILTER_LIFELINE */ );
     766            0 :             const data_id_t diagram_id
     767              :                 = ( NULL == target_card )
     768              :                 ? DATA_ID_VOID
     769            0 :                 : gui_sketch_card_get_diagram_id( target_card );
     770              :             const data_full_id_t *const element_under_mouse_full
     771            0 :                 = layout_subelement_id_get_id_const( &element_id );  /* may return VOID */
     772              :             const layout_subelement_kind_t element_under_mouse_kind
     773            0 :                 = layout_subelement_id_get_kind( &element_id );  /* may return VOID */
     774              :             const data_id_t element_under_mouse
     775            0 :                 = data_full_id_get_primary_id( element_under_mouse_full );
     776              : 
     777              :             const data_id_t element_highlighted
     778            0 :                 = gui_marked_set_get_highlighted( (*this_).marker );
     779              :             const layout_subelement_kind_t element_highlighted_kind
     780            0 :                 = gui_marked_set_get_highlighted_kind( (*this_).marker );
     781            0 :             const bool highlighted_element_changed
     782            0 :                 = ( ! data_id_equals( &element_under_mouse, &element_highlighted ) )
     783            0 :                 || ( element_under_mouse_kind != element_highlighted_kind );
     784            0 :             if ( highlighted_element_changed )
     785              :             {
     786            0 :                 if ( data_id_is_valid( &element_under_mouse ) || data_id_is_valid( &element_highlighted ) )
     787              :                 {
     788            0 :                     gui_marked_set_set_highlighted_subelement( (*this_).marker, &element_id, diagram_id );
     789              : 
     790              :                     /* mark dirty rect */
     791            0 :                     gtk_widget_queue_draw( (*this_).drawing_area );
     792              :                 }
     793              :             }
     794            0 :             else if ( gui_sketch_drag_state_is_dragging ( &((*this_).drag_state) ) )
     795              :             {
     796              :                 /* always redraw while dragging */
     797            0 :                 gtk_widget_queue_draw( (*this_).drawing_area );
     798              :             }
     799              :             else
     800              :             {
     801              :                 /* always redraw while moving the mouse to move the new-box-and-arrow icon */
     802            0 :                 gtk_widget_queue_draw( (*this_).drawing_area );
     803              :             }
     804              :         }
     805            0 :         break;
     806              : 
     807            0 :         default:
     808              :         {
     809            0 :             U8_LOG_ERROR("selected_tool is out of range");
     810              :         }
     811            0 :         break;
     812              :     }
     813              : 
     814            0 :     U8_TRACE_END();
     815            0 : }
     816              : 
     817            0 : void gui_sketch_area_button_press_callback( GtkGestureClick* self,
     818              :                                             gint n_press,
     819              :                                             gdouble x,
     820              :                                             gdouble y,
     821              :                                             gpointer user_data )
     822              : {
     823            0 :     U8_TRACE_BEGIN();
     824            0 :     U8_TRACE_TIMESTAMP();
     825            0 :     gui_sketch_area_t *this_ = user_data;
     826            0 :     assert( NULL != this_ );
     827              : 
     828            0 :     gui_sketch_area_button_press( this_, (int)x, (int)y );
     829              : 
     830            0 :     U8_TRACE_END();
     831            0 : }
     832              : 
     833            0 : void gui_sketch_area_button_press( gui_sketch_area_t *this_, int x, int y )
     834              : {
     835            0 :     U8_TRACE_BEGIN();
     836              : 
     837              :     /* in general, hide the last message */
     838            0 :     gui_simple_message_to_user_hide( (*this_).message_to_user );
     839              : 
     840            0 :     U8_TRACE_INFO("press");
     841              : 
     842              :     /* cause the text edit widgets to lose the focus so that these can store the latest changes */
     843            0 :     gtk_widget_grab_focus( (*this_).drawing_area );
     844              : 
     845              :     /* get position */
     846            0 :     U8_TRACE_INFO_INT_INT( "x/y", x, y );
     847              : 
     848              :     /* check that drag state is false */
     849            0 :     if ( ( gui_sketch_drag_state_is_dragging( &((*this_).drag_state) ) )
     850            0 :         || ( gui_sketch_drag_state_is_waiting_for_move( &((*this_).drag_state) ) ) )
     851              :     {
     852            0 :         U8_LOG_ERROR("drag state indicates dragging - but button was not pressed before!");
     853              :     }
     854              : 
     855              :     /* update drag coordinates */
     856            0 :     gui_sketch_drag_state_set_from ( &((*this_).drag_state), x, y );
     857            0 :     gui_sketch_drag_state_set_to ( &((*this_).drag_state), x, y );
     858              : 
     859              :     /* do action */
     860            0 :     const gui_tool_t selected_tool = gui_sketch_request_get_tool_mode( &((*this_).request) );
     861            0 :     switch ( selected_tool )
     862              :     {
     863            0 :         case GUI_TOOL_NAVIGATE:
     864              :         {
     865            0 :             U8_TRACE_INFO( "GUI_TOOL_NAVIGATE" );
     866              : 
     867              :             /* determine clicked diagram */
     868            0 :             data_id_t clicked_diagram_id = DATA_ID_VOID;
     869            0 :             data_id_t clicked_object_id = DATA_ID_VOID;
     870            0 :             gui_sketch_area_private_get_diagram_and_object_id_at_pos ( this_, x, y, &clicked_diagram_id, &clicked_object_id );
     871            0 :             data_id_trace( &clicked_diagram_id );
     872            0 :             data_id_trace( &clicked_object_id );
     873              : 
     874              :             /* load diagram */
     875            0 :             if ( data_id_is_valid( &clicked_diagram_id ) )
     876              :             {
     877              :                 /* update drag state */
     878              :                 data_full_id_t dragged_object;
     879            0 :                 data_full_id_init_solo ( &dragged_object, &clicked_diagram_id );
     880            0 :                 gui_sketch_drag_state_start_dragging_when_move ( &((*this_).drag_state), dragged_object );
     881              : 
     882              :                 /* if a diagram was clicked (not a button) then redraw to show the hint-to-drag */
     883            0 :                 gtk_widget_queue_draw( (*this_).drawing_area );
     884              :             }
     885              :             else
     886              :             {
     887            0 :                 U8_TRACE_INFO("invalid clicked object at gui_sketch_area_button_press_callback");
     888              : 
     889              :                 gui_sketch_action_t action_button_id;
     890            0 :                 gui_sketch_nav_tree_get_button_at_pos ( &((*this_).nav_tree), x, y, &action_button_id );
     891            0 :                 if ( action_button_id != GUI_SKETCH_ACTION_NONE )
     892              :                 {
     893              :                     /* create a new diagram */
     894            0 :                     u8_error_t c_result = U8_ERROR_NONE;
     895            0 :                     data_row_t new_diag_id = DATA_ROW_VOID;
     896              : 
     897              :                     {
     898              :                         const data_diagram_t *selected_diag;
     899            0 :                         selected_diag = gui_sketch_nav_tree_get_diagram_ptr ( &((*this_).nav_tree) );
     900            0 :                         switch ( action_button_id )
     901              :                         {
     902            0 :                             case GUI_SKETCH_ACTION_NEW_SIBLING_DIAGRAM:
     903              :                             {
     904            0 :                                 assert( data_diagram_is_valid( selected_diag ) );
     905              :                                 data_row_t parent_diagram_id;
     906            0 :                                 parent_diagram_id = data_diagram_get_parent_row_id( selected_diag );
     907              :                                 int32_t list_order;
     908            0 :                                 list_order = gui_sketch_nav_tree_get_siblings_highest_order ( &((*this_).nav_tree) );
     909              : 
     910              : 
     911            0 :                                 c_result = gui_sketch_object_creator_create_diagram( &((*this_).object_creator),
     912              :                                                                                      parent_diagram_id,
     913              :                                                                                      list_order + 32768,
     914              :                                                                                      &new_diag_id
     915              :                                                                                    );
     916              :                             }
     917            0 :                             break;
     918              : 
     919            0 :                             case GUI_SKETCH_ACTION_NEW_CHILD_DIAGRAM:
     920              :                             {
     921            0 :                                 assert( data_diagram_is_valid( selected_diag ) );
     922              :                                 data_row_t selected_diagram_id;
     923            0 :                                 selected_diagram_id = data_diagram_get_row_id( selected_diag );
     924              :                                 int32_t list_order;
     925            0 :                                 list_order = gui_sketch_nav_tree_get_children_highest_order ( &((*this_).nav_tree) );
     926            0 :                                 c_result = gui_sketch_object_creator_create_diagram( &((*this_).object_creator),
     927              :                                                                                      selected_diagram_id,
     928              :                                                                                      list_order + 32768,
     929              :                                                                                      &new_diag_id
     930              :                                                                                    );
     931              :                             }
     932            0 :                             break;
     933              : 
     934            0 :                             case GUI_SKETCH_ACTION_NEW_ROOT_DIAGRAM:
     935              :                             {
     936            0 :                                 c_result = gui_sketch_object_creator_create_diagram( &((*this_).object_creator),
     937              :                                                                                      DATA_ROW_VOID,
     938              :                                                                                      0,
     939              :                                                                                      &new_diag_id
     940              :                                                                                    );
     941              :                             }
     942            0 :                             break;
     943              : 
     944            0 :                             default:
     945              :                             {
     946            0 :                                 U8_LOG_ERROR_INT("illegal action value in gui_sketch_action_t:",action_button_id);
     947            0 :                                 assert(false);
     948              :                                 c_result = U8_ERROR_INVALID_REQUEST;
     949              :                             }
     950              :                             break;
     951              :                         }
     952              :                     }
     953              : 
     954            0 :                     if ( U8_ERROR_NONE != c_result )
     955              :                     {
     956            0 :                         U8_LOG_ERROR("unexpected error at gui_sketch_object_creator_create_diagram");
     957              :                     }
     958              :                     else
     959              :                     {
     960              :                         data_id_t focused_id;
     961            0 :                         data_id_init( &focused_id, DATA_TABLE_DIAGRAM, new_diag_id );
     962              : 
     963              :                         /* load/reload data to be drawn */
     964            0 :                         gui_sketch_area_show_diagram( this_, focused_id );
     965              : 
     966              :                         /* update marked set */
     967              :                         data_full_id_t focused_full_id;
     968            0 :                         data_full_id_init_solo( &focused_full_id, &focused_id );
     969              : 
     970            0 :                         gui_marked_set_set_focused( (*this_).marker, focused_full_id, focused_id );
     971            0 :                         gui_marked_set_clear_selected_set( (*this_).marker );
     972              :                     }
     973              :                 }
     974              :             }
     975              :         }
     976            0 :         break;
     977              : 
     978            0 :         case GUI_TOOL_EDIT:
     979              :         {
     980            0 :             U8_TRACE_INFO( "GUI_TOOL_EDIT" );
     981              : 
     982              :             /* determine the focused object */
     983              :             data_full_id_t focused_object;
     984              :             data_id_t diag_id;
     985            0 :             gui_sketch_area_private_get_element_id_at_pos( this_,
     986              :                                                            x,
     987              :                                                            y,
     988              :                                                            true /* FILTER_LIFELINE */,
     989              :                                                            &focused_object,
     990              :                                                            &diag_id
     991              :                                                          );
     992            0 :             data_full_id_trace( &focused_object );
     993              : 
     994              :             /* update drag state */
     995            0 :             gui_sketch_drag_state_start_dragging_when_move ( &((*this_).drag_state), focused_object );
     996              : 
     997              :             /* toggle objects according to rules of gui_marked_set_t */
     998            0 :             gui_marked_set_toggle_obj( (*this_).marker, focused_object, diag_id );
     999              : 
    1000              :             /* mark dirty rect */
    1001            0 :             gtk_widget_queue_draw( (*this_).drawing_area );
    1002              :         }
    1003            0 :         break;
    1004              : 
    1005            0 :         case GUI_TOOL_SEARCH:
    1006              :         {
    1007            0 :             U8_TRACE_INFO( "GUI_TOOL_SEARCH" );
    1008              : 
    1009              :             /* determine clicked diagram */
    1010            0 :             data_id_t clicked_diagram_id = DATA_ID_VOID;
    1011            0 :             data_id_t clicked_object_id = DATA_ID_VOID;
    1012            0 :             gui_sketch_area_private_get_diagram_and_object_id_at_pos ( this_, x, y, &clicked_diagram_id, &clicked_object_id );
    1013            0 :             data_id_trace( &clicked_diagram_id );
    1014            0 :             data_id_trace( &clicked_object_id );
    1015              : 
    1016              :             /* store diagram id to drag_state */
    1017            0 :             if ( data_id_is_valid( &clicked_diagram_id ) )
    1018              :             {
    1019              :                 /* update drag state */
    1020              :                 data_full_id_t dragged_object;
    1021            0 :                 data_full_id_init_solo ( &dragged_object, &clicked_diagram_id );
    1022            0 :                 gui_sketch_drag_state_start_dragging_when_move ( &((*this_).drag_state), dragged_object );
    1023              :             }
    1024              : 
    1025              :             /* which object is currently focused? */
    1026            0 :             const data_id_t focused_before = gui_marked_set_get_focused_obj( (*this_).marker );
    1027              : 
    1028            0 :             if ( data_id_equals ( &clicked_object_id, &focused_before ) )
    1029              :             {
    1030              :                 /* the clicked object is already focused */
    1031              :             }
    1032              :             else
    1033              :             {
    1034              :                 /* set focused object */
    1035            0 :                 assert( DATA_TABLE_DIAGRAMELEMENT != data_id_get_table( &clicked_object_id ) );
    1036              :                 data_full_id_t focused_object;
    1037            0 :                 data_full_id_init_solo ( &focused_object, &clicked_object_id );
    1038              : 
    1039            0 :                 gui_marked_set_set_focused( (*this_).marker, focused_object, clicked_diagram_id );
    1040              :             }
    1041              :         }
    1042            0 :         break;
    1043              : 
    1044            0 :         case GUI_TOOL_CREATE:
    1045              :         {
    1046            0 :             U8_TRACE_INFO( "GUI_TOOL_CREATE" );
    1047              : 
    1048              :             /* what is the target location? */
    1049            0 :             gui_sketch_card_t *target_card = gui_sketch_area_private_get_card_at_pos ( this_, x, y );
    1050              : 
    1051            0 :             if ( NULL == target_card )
    1052              :             {
    1053            0 :                 U8_TRACE_INFO_INT_INT("No card at",x,y);
    1054              : 
    1055              :                 /* if this happens, invalidate the marked object. */
    1056            0 :                 gui_marked_set_clear_focused( (*this_).marker );
    1057              :             }
    1058              :             else
    1059              :             {
    1060              :                 /* determine the object at click location */
    1061            0 :                 const data_id_t diagram_id = gui_sketch_card_get_diagram_id( target_card );
    1062              :                 const layout_subelement_id_t element_id
    1063            0 :                     = gui_sketch_card_get_element_at_pos( target_card, x, y, false /* FILTER_LIFELINE */ );
    1064              :                 const data_full_id_t *const clicked_object
    1065            0 :                     = layout_subelement_id_get_id_const( &element_id );
    1066            0 :                 data_full_id_trace( clicked_object );
    1067              :                 const layout_subelement_kind_t kind
    1068            0 :                     = layout_subelement_id_get_kind( &element_id );
    1069            0 :                 if ( kind != LAYOUT_SUBELEMENT_KIND_SPACE )
    1070              :                 {
    1071              :                     /* update drag state */
    1072            0 :                     gui_sketch_drag_state_start_dragging_when_move ( &((*this_).drag_state), *clicked_object );
    1073              : 
    1074              :                     /* set focused object (either a diagramelement or a feature - but not a lifeline!) */
    1075              :                     const layout_subelement_id_t filtered_element_id
    1076            0 :                         = gui_sketch_card_get_element_at_pos( target_card, x, y, true /* FILTER_LIFELINE */ );
    1077              :                     const data_full_id_t *const clicked_filtered_object
    1078            0 :                         = layout_subelement_id_get_id_const( &filtered_element_id );
    1079            0 :                     gui_marked_set_set_focused( (*this_).marker, *clicked_filtered_object, diagram_id );
    1080              :                 }
    1081              :                 else /* clicked either into inner space of a classifier or of a diagram */
    1082              :                 {
    1083              :                     /* stop dragging */
    1084            0 :                     gui_sketch_drag_state_stop_dragging ( &((*this_).drag_state) );
    1085              : 
    1086              :                     /* get data */
    1087              :                     const data_id_t *const surrounding_element
    1088            0 :                         = data_full_id_get_primary_id_const( clicked_object );
    1089            0 :                     assert( data_id_is_valid( surrounding_element ) );
    1090              : 
    1091              :                     /* create a new classifier */
    1092              :                     data_id_t dummy_classifier;
    1093            0 :                     data_id_init( &dummy_classifier, DATA_TABLE_CLASSIFIER, DATA_ROW_VOID );
    1094            0 :                     layout_order_t layout_order = gui_sketch_card_get_order_at_pos( target_card, dummy_classifier, x, y );
    1095            0 :                     const int32_t x_order = layout_order_get_first( &layout_order );
    1096            0 :                     const int32_t y_order = layout_order_get_second( &layout_order );
    1097            0 :                     U8_TRACE_INFO_INT_INT( "x-order/y-order", x_order, y_order );
    1098              : 
    1099              :                     /* create a classifier or a child-classifier */
    1100              :                     u8_error_t c_result;
    1101              :                     data_row_t new_diagele_id;
    1102              :                     data_row_t new_classifier_id;
    1103            0 :                     if ( DATA_TABLE_DIAGRAMELEMENT == data_id_get_table( surrounding_element ) )
    1104              :                     {
    1105              :                         const data_id_t *const surrounding_classifier
    1106            0 :                             = data_full_id_get_secondary_id_const( clicked_object );
    1107            0 :                         assert( data_id_is_valid( surrounding_classifier ) );
    1108              : 
    1109              :                         data_row_t new_relationship_id;
    1110            0 :                         c_result = gui_sketch_object_creator_create_classifier_as_child( &((*this_).object_creator),
    1111              :                                                                                          data_id_get_row_id( &diagram_id ),
    1112              :                                                                                          data_id_get_row_id( surrounding_classifier ),
    1113              :                                                                                          x_order,
    1114              :                                                                                          y_order,
    1115              :                                                                                          &new_diagele_id,
    1116              :                                                                                          &new_classifier_id,
    1117              :                                                                                          &new_relationship_id
    1118              :                                                                                        );
    1119              :                     }
    1120              :                     else
    1121              :                     {
    1122            0 :                         assert( DATA_TABLE_DIAGRAM == data_id_get_table( surrounding_element ) );
    1123            0 :                         c_result = gui_sketch_object_creator_create_classifier( &((*this_).object_creator),
    1124              :                                                                                 data_id_get_row_id( &diagram_id ),
    1125              :                                                                                 x_order,
    1126              :                                                                                 y_order,
    1127              :                                                                                 &new_diagele_id,
    1128              :                                                                                 &new_classifier_id
    1129              :                                                                               );
    1130              :                     }
    1131              : 
    1132            0 :                     if ( U8_ERROR_DUPLICATE_NAME == c_result )
    1133              :                     {
    1134              :                         /* this should not happen: names are auto-generated */
    1135            0 :                         gui_simple_message_to_user_show_message_with_name( (*this_).message_to_user,
    1136              :                                                                            GUI_SIMPLE_MESSAGE_TYPE_ERROR,
    1137              :                                                                            GUI_SIMPLE_MESSAGE_CONTENT_NAME_NOT_UNIQUE,
    1138              :                                                                            ""
    1139              :                                                                          );
    1140              :                     }
    1141            0 :                     else if ( U8_ERROR_NONE != c_result )
    1142              :                     {
    1143            0 :                         U8_LOG_ERROR("unexpected error at gui_sketch_object_creator_create_classifier/_as_child");
    1144              :                     }
    1145              :                     else
    1146              :                     {
    1147              :                         /* set focused object and notify listener */
    1148            0 :                         const data_full_id_t focused_object
    1149              :                             = DATA_FULL_ID( DATA_TABLE_DIAGRAMELEMENT, new_diagele_id, new_classifier_id );
    1150            0 :                         gui_marked_set_set_focused( (*this_).marker, focused_object, diagram_id );
    1151            0 :                         gui_marked_set_clear_selected_set( (*this_).marker );
    1152              : 
    1153            0 :                         U8_TRACE_INFO_INT( "new_classifier_id:", new_classifier_id );
    1154              :                     }
    1155              :                 }
    1156              :             }
    1157              :         }
    1158            0 :         break;
    1159              : 
    1160            0 :         default:
    1161              :         {
    1162            0 :             U8_LOG_ERROR( "selected_tool is out of range" );
    1163              :         }
    1164            0 :         break;
    1165              :     }
    1166              : 
    1167            0 :     U8_TRACE_END();
    1168            0 : }
    1169              : 
    1170            0 : void gui_sketch_area_button_release_callback( GtkGestureClick* self,
    1171              :                                               gint n_press,
    1172              :                                               gdouble x,
    1173              :                                               gdouble y,
    1174              :                                               gpointer user_data )
    1175              : {
    1176            0 :     U8_TRACE_BEGIN();
    1177            0 :     U8_TRACE_TIMESTAMP();
    1178            0 :     gui_sketch_area_t *this_ = user_data;
    1179            0 :     assert( NULL != this_ );
    1180              : 
    1181            0 :     gui_sketch_area_button_release( this_, (int)x, (int)y );
    1182              : 
    1183            0 :     U8_TRACE_END();
    1184            0 : }
    1185              : 
    1186            0 : void gui_sketch_area_button_release( gui_sketch_area_t *this_, int x, int y )
    1187              : {
    1188            0 :     U8_TRACE_BEGIN();
    1189              : 
    1190            0 :     U8_TRACE_INFO("release");
    1191              : 
    1192              :     /* get position */
    1193            0 :     U8_TRACE_INFO_INT_INT("x/y",x,y);
    1194              : 
    1195              :     /* update drag coordinates */
    1196            0 :     gui_sketch_drag_state_set_to ( &((*this_).drag_state), x, y );
    1197              : 
    1198              :     /* check that drag state is true */
    1199            0 :     if ( ( ! gui_sketch_drag_state_is_dragging( &((*this_).drag_state) ) )
    1200            0 :         && ( ! gui_sketch_drag_state_is_waiting_for_move( &((*this_).drag_state) ) ) )
    1201              :     {
    1202            0 :         U8_TRACE_INFO("drag state indicates no dragging and no waiting - but button was pressed before!");
    1203              :     }
    1204              : 
    1205              :     /* do action */
    1206              :     const gui_tool_t selected_tool
    1207            0 :         = gui_sketch_request_get_tool_mode( &((*this_).request) );
    1208            0 :     switch ( selected_tool )
    1209              :     {
    1210            0 :         case GUI_TOOL_NAVIGATE:
    1211              :         {
    1212            0 :             U8_TRACE_INFO("GUI_TOOL_NAVIGATE");
    1213            0 :             if ( gui_sketch_drag_state_is_dragging ( &((*this_).drag_state) ) )
    1214              :             {
    1215              :                 /* which diagram was dragged? */
    1216              :                 data_full_id_t *dragged_object;
    1217            0 :                 dragged_object = gui_sketch_drag_state_get_dragged_object_ptr ( &((*this_).drag_state) );
    1218              :                 data_id_t dragged_diagram;
    1219            0 :                 dragged_diagram = data_full_id_get_primary_id( dragged_object );
    1220              : 
    1221              :                 /* to which diagram-gap was it dragged to? */
    1222              :                 gui_error_t gui_err;
    1223              :                 data_id_t target_parent_id;
    1224              :                 int32_t target_list_order;
    1225              :                 shape_int_rectangle_t dummy_gap_marker_border;
    1226            0 :                 gui_err = gui_sketch_nav_tree_get_gap_info_at_pos( &((*this_).nav_tree),
    1227              :                                                                    x,
    1228              :                                                                    y,
    1229              :                                                                    &target_parent_id,
    1230              :                                                                    &target_list_order,
    1231              :                                                                    &dummy_gap_marker_border
    1232              :                                                                  );
    1233              : 
    1234            0 :                 if (( DATA_TABLE_DIAGRAM == data_id_get_table( &dragged_diagram ) )
    1235            0 :                     && ( DATA_TABLE_DIAGRAM == data_id_get_table( &target_parent_id ) )
    1236            0 :                     && ( GUI_ERROR_NONE == gui_err ))
    1237              :                 {
    1238            0 :                     U8_TRACE_INFO_INT( "dragged_diagram:", data_id_get_row_id( &dragged_diagram ) );
    1239            0 :                     U8_TRACE_INFO_INT( "target_parent_id:", data_id_get_row_id( &target_parent_id ) );
    1240            0 :                     U8_TRACE_INFO_INT( "target_list_order:", target_list_order );
    1241              :                     bool is_descendant;
    1242              :                     bool is_self;
    1243              :                     gui_error_t not_found;
    1244            0 :                     not_found = gui_sketch_nav_tree_is_descendant( &((*this_).nav_tree),
    1245              :                                                                    data_id_get_row_id( &dragged_diagram ),
    1246              :                                                                    data_id_get_row_id( &target_parent_id ),
    1247              :                                                                    &is_descendant
    1248              :                                                                  );
    1249            0 :                     is_self = ( data_id_get_row_id( &dragged_diagram ) == data_id_get_row_id( &target_parent_id ) );
    1250            0 :                     if ( ( ! is_self ) && ( not_found == GUI_ERROR_NONE ) && ( ! is_descendant ) )
    1251            0 :                     {
    1252              :                         ctrl_diagram_controller_t *diag_control;
    1253            0 :                         diag_control = ctrl_controller_get_diagram_control_ptr ( (*this_).controller );
    1254              : 
    1255              :                         u8_error_t c_err;
    1256            0 :                         c_err = ctrl_diagram_controller_update_diagram_list_order( diag_control,
    1257              :                                                                                    data_id_get_row_id( &dragged_diagram ),
    1258              :                                                                                    target_list_order
    1259              :                                                                                  );
    1260            0 :                         if ( U8_ERROR_NONE != c_err )
    1261              :                         {
    1262            0 :                             U8_LOG_ERROR_HEX( "U8_ERROR_NONE !=", c_err );
    1263              :                         }
    1264            0 :                         c_err = ctrl_diagram_controller_update_diagram_parent_id( diag_control,
    1265              :                                                                                   data_id_get_row_id( &dragged_diagram ),
    1266              :                                                                                   data_id_get_row_id( &target_parent_id ),
    1267              :                                                                                   CTRL_UNDO_REDO_ACTION_BOUNDARY_APPEND
    1268              :                                                                                 );
    1269            0 :                         if ( U8_ERROR_NONE != c_err )
    1270              :                         {
    1271            0 :                             U8_LOG_ERROR_HEX( "U8_ERROR_NONE !=", c_err );
    1272              :                         }
    1273              :                     }
    1274            0 :                     else if ( DATA_ROW_VOID == data_id_get_row_id( &target_parent_id ) )
    1275              :                     {
    1276              :                         /* a diagram is dragged to the root location */
    1277              :                         ctrl_diagram_controller_t *const diag_control2
    1278            0 :                             = ctrl_controller_get_diagram_control_ptr ( (*this_).controller );
    1279              : 
    1280              :                         const data_row_t root_id
    1281            0 :                             = gui_sketch_nav_tree_get_root_diagram_id ( &((*this_).nav_tree) );
    1282            0 :                         if (( root_id != DATA_ROW_VOID )&&( root_id != data_id_get_row_id( &dragged_diagram ) ))
    1283            0 :                         {
    1284              :                             u8_error_t c_err;
    1285            0 :                             c_err = ctrl_diagram_controller_update_diagram_parent_id( diag_control2,
    1286              :                                                                                       data_id_get_row_id( &dragged_diagram ),
    1287              :                                                                                       DATA_ROW_VOID,
    1288              :                                                                                       CTRL_UNDO_REDO_ACTION_BOUNDARY_START_NEW
    1289              :                                                                                     );
    1290            0 :                             if ( U8_ERROR_NONE != c_err )
    1291              :                             {
    1292            0 :                                 U8_LOG_ERROR_HEX( "U8_ERROR_NONE !=", c_err );
    1293              :                             }
    1294            0 :                             c_err = ctrl_diagram_controller_update_diagram_parent_id( diag_control2,
    1295              :                                                                                       root_id,
    1296              :                                                                                       data_id_get_row_id( &dragged_diagram ),
    1297              :                                                                                       CTRL_UNDO_REDO_ACTION_BOUNDARY_APPEND
    1298              :                                                                                     );
    1299            0 :                             if ( U8_ERROR_NONE != c_err )
    1300              :                             {
    1301            0 :                                 U8_LOG_ERROR_HEX( "U8_ERROR_NONE !=", c_err );
    1302              :                             }
    1303              :                         }
    1304              :                         else
    1305              :                         {
    1306            0 :                             U8_LOG_WARNING("dragging a diagram to the root location but no root exists or dragged diagram is root?");
    1307              :                         }
    1308              :                     }
    1309              :                     else
    1310              :                     {
    1311            0 :                         U8_LOG_WARNING("diagram dragging to invalid target location");
    1312              :                         /* current diagram is root */
    1313            0 :                         gui_simple_message_to_user_show_message( (*this_).message_to_user,
    1314              :                                                                  GUI_SIMPLE_MESSAGE_TYPE_ERROR,
    1315              :                                                                  GUI_SIMPLE_MESSAGE_CONTENT_ANCESTOR_IS_NOT_DESCENDANT
    1316              :                                                                );
    1317              :                     }
    1318              :                 }
    1319              :             }
    1320            0 :             else if ( gui_sketch_drag_state_is_waiting_for_move( &((*this_).drag_state) ) )
    1321              :             {
    1322              :                 /* click on diagram without drag */
    1323              :                 const data_full_id_t *const dragged_object
    1324            0 :                     = gui_sketch_drag_state_get_dragged_object_ptr ( &((*this_).drag_state) );
    1325              :                 const data_id_t dragged_diagram
    1326            0 :                     = data_full_id_get_primary_id( dragged_object );
    1327            0 :                 if ( DATA_TABLE_DIAGRAM == data_id_get_table( &dragged_diagram ) )
    1328              :                 {
    1329            0 :                     const data_row_t drag_id = data_id_get_row_id( &dragged_diagram );
    1330            0 :                     const data_row_t focus_id = gui_sketch_area_private_get_focused_diagram_id( this_ );
    1331            0 :                     if ( ( focus_id != DATA_ROW_VOID )&&( focus_id == drag_id ) )
    1332              :                     {
    1333              :                         /* if clicked diagram is already the focused diagram, switch to edit mode */
    1334            0 :                         gui_toolbox_set_selected_tool( (*this_).toolbox, GUI_TOOL_EDIT );
    1335              :                     }
    1336              :                     else
    1337              :                     {
    1338              :                         /* load/reload data to be drawn */
    1339            0 :                         gui_sketch_area_show_diagram( this_, dragged_diagram );
    1340              : 
    1341              :                         /* set focus */
    1342            0 :                         gui_marked_set_set_focused( (*this_).marker, *dragged_object, dragged_diagram );
    1343            0 :                         gui_marked_set_clear_selected_set( (*this_).marker );
    1344              : 
    1345              :                         /* mark dirty rect */
    1346            0 :                         gtk_widget_queue_draw( (*this_).drawing_area );
    1347              :                     }
    1348              :                 }
    1349              :                 else
    1350              :                 {
    1351            0 :                     U8_LOG_ANOMALY("GUI_TOOL_NAVIGATE released mouse button but not a diagram clicked before");
    1352              :                 }
    1353              :             }
    1354              :         }
    1355            0 :         break;
    1356              : 
    1357            0 :         case GUI_TOOL_EDIT:
    1358              :         {
    1359            0 :             U8_TRACE_INFO("GUI_TOOL_EDIT");
    1360              : 
    1361            0 :             if ( gui_sketch_drag_state_is_dragging( &((*this_).drag_state) ) )
    1362              :             {
    1363              :                 /* which object is selected? */
    1364              :                 const data_full_id_t *const dragged_object
    1365            0 :                     = gui_sketch_drag_state_get_dragged_object_ptr( &((*this_).drag_state) );
    1366              :                 const data_id_t dragged_element
    1367            0 :                     = data_full_id_get_primary_id( dragged_object );
    1368              :                 const data_id_t dragged_classifier
    1369            0 :                     = data_full_id_get_secondary_id( dragged_object );
    1370              : 
    1371              :                 /* what is the target location? */
    1372            0 :                 const gui_sketch_card_t *const target_card = gui_sketch_area_private_get_card_at_pos ( this_, x, y );
    1373            0 :                 if ( NULL == target_card )
    1374              :                 {
    1375            0 :                     U8_TRACE_INFO_INT_INT("No card at",x,y);
    1376              :                 }
    1377            0 :                 else if ( DATA_TABLE_DIAGRAMELEMENT == data_id_get_table( &dragged_element ) )
    1378              :                 {
    1379            0 :                     layout_order_t layout_order = gui_sketch_card_get_order_at_pos( target_card, dragged_classifier, x, y );
    1380            0 :                     if ( LAYOUT_ORDER_TYPE_LIST == layout_order_get_order_type( &layout_order ) )
    1381              :                     {
    1382            0 :                         int32_t list_order = layout_order_get_first( &layout_order );
    1383            0 :                         U8_TRACE_INFO_INT( "list_order", list_order );
    1384              : 
    1385              :                         /* update db */
    1386              :                         ctrl_classifier_controller_t *const classifier_control
    1387            0 :                             = ctrl_controller_get_classifier_control_ptr ( (*this_).controller );
    1388              :                         const u8_error_t mov_result
    1389            0 :                             = ctrl_classifier_controller_update_classifier_list_order( classifier_control,
    1390              :                                                                                        data_id_get_row_id( &dragged_classifier ),
    1391              :                                                                                        list_order
    1392              :                                                                                      );
    1393            0 :                         if ( U8_ERROR_NONE != mov_result )
    1394              :                         {
    1395            0 :                             U8_LOG_ERROR( "changing order failed: ctrl_classifier_controller_update_classifier_list_order" );
    1396              :                         }
    1397              :                     }
    1398            0 :                     else if ( LAYOUT_ORDER_TYPE_X_Y == layout_order_get_order_type( &layout_order ) )
    1399              :                     {
    1400            0 :                         int32_t x_order = layout_order_get_first( &layout_order );
    1401            0 :                         int32_t y_order = layout_order_get_second( &layout_order );
    1402            0 :                         U8_TRACE_INFO_INT_INT( "x-order/y-order", x_order, y_order );
    1403              : 
    1404              :                         /* update db */
    1405              :                         ctrl_classifier_controller_t *const classifier_control
    1406            0 :                             = ctrl_controller_get_classifier_control_ptr ( (*this_).controller );
    1407              :                         const u8_error_t mov_result
    1408            0 :                             = ctrl_classifier_controller_update_classifier_x_order_y_order( classifier_control,
    1409              :                                                                                             data_id_get_row_id( &dragged_classifier ),
    1410              :                                                                                             x_order,
    1411              :                                                                                             y_order
    1412              :                                                                                           );
    1413            0 :                         if ( U8_ERROR_NONE != mov_result )
    1414              :                         {
    1415            0 :                             U8_LOG_ERROR( "changing order failed: ctrl_classifier_controller_update_classifier_x_order_y_order" );
    1416              :                         }
    1417              :                     }
    1418              :                 }
    1419            0 :                 else if ( DATA_TABLE_RELATIONSHIP == data_id_get_table( &dragged_element ) )
    1420              :                 {
    1421            0 :                     layout_order_t layout_order = gui_sketch_card_get_order_at_pos( target_card, dragged_element, x, y );
    1422            0 :                     if ( LAYOUT_ORDER_TYPE_LIST == layout_order_get_order_type( &layout_order ) )
    1423              :                     {
    1424            0 :                         int32_t list_order = layout_order_get_first( &layout_order );
    1425            0 :                         U8_TRACE_INFO_INT( "list_order", list_order );
    1426              : 
    1427              :                         /* update db */
    1428              :                         ctrl_classifier_controller_t *const classifier_control
    1429            0 :                             = ctrl_controller_get_classifier_control_ptr ( (*this_).controller );
    1430              :                         const u8_error_t mov_result
    1431            0 :                             = ctrl_classifier_controller_update_relationship_list_order( classifier_control,
    1432              :                                                                                          data_id_get_row_id( &dragged_element ),
    1433              :                                                                                          list_order
    1434              :                                                                                        );
    1435            0 :                         if ( U8_ERROR_NONE != mov_result )
    1436              :                         {
    1437            0 :                             U8_LOG_ERROR( "changing order failed: ctrl_classifier_controller_update_relationship_list_order" );
    1438              :                         }
    1439              :                     }
    1440              :                 }
    1441            0 :                 else if ( DATA_TABLE_FEATURE == data_id_get_table( &dragged_element ) )
    1442              :                 {
    1443            0 :                     layout_order_t layout_order = gui_sketch_card_get_order_at_pos( target_card, dragged_element, x, y );
    1444            0 :                     if ( LAYOUT_ORDER_TYPE_LIST == layout_order_get_order_type( &layout_order ) )
    1445              :                     {
    1446            0 :                         int32_t list_order = layout_order_get_first( &layout_order );
    1447            0 :                         U8_TRACE_INFO_INT( "list_order", list_order );
    1448              : 
    1449              :                         /* update db */
    1450              :                         ctrl_classifier_controller_t *const classifier_control
    1451            0 :                             = ctrl_controller_get_classifier_control_ptr ( (*this_).controller );
    1452              :                         const u8_error_t mov_result
    1453            0 :                             = ctrl_classifier_controller_update_feature_list_order( classifier_control,
    1454              :                                                                                     data_id_get_row_id( &dragged_element ),
    1455              :                                                                                     list_order
    1456              :                                                                                   );
    1457            0 :                         if ( U8_ERROR_NONE != mov_result )
    1458              :                         {
    1459            0 :                             U8_LOG_ERROR( "changing order failed: ctrl_classifier_controller_update_feature_list_order" );
    1460              :                         }
    1461              :                     }
    1462              :                 }
    1463              :                 else
    1464              :                 {
    1465            0 :                     U8_TRACE_INFO("Dragged object is neither relationship nor classifier nor feature");
    1466              :                 }
    1467              :             }
    1468              :         }
    1469            0 :         break;
    1470              : 
    1471            0 :         case GUI_TOOL_SEARCH:
    1472              :         {
    1473            0 :             U8_TRACE_INFO("GUI_TOOL_SEARCH");
    1474              : 
    1475            0 :             if ( gui_sketch_drag_state_is_waiting_for_move( &((*this_).drag_state) ) )
    1476              :             {
    1477              :                 /* click on diagram without drag */
    1478              :                 const data_full_id_t *const dragged_object
    1479            0 :                     = gui_sketch_drag_state_get_dragged_object_ptr ( &((*this_).drag_state) );
    1480              :                 const data_id_t dragged_diagram
    1481            0 :                     = data_full_id_get_primary_id( dragged_object );
    1482            0 :                 if ( DATA_TABLE_DIAGRAM == data_id_get_table( &dragged_diagram ) )
    1483              :                 {
    1484              :                     /* load/reload data to be drawn */
    1485            0 :                     gui_sketch_area_show_diagram( this_, dragged_diagram );
    1486              : 
    1487              :                     /* clear selected set but do not change focused object */
    1488            0 :                     gui_marked_set_clear_selected_set( (*this_).marker );
    1489              : 
    1490              :                     /* switch to edit mode */
    1491            0 :                     gui_toolbox_set_selected_tool( (*this_).toolbox, GUI_TOOL_EDIT );
    1492              :                 }
    1493              :                 else
    1494              :                 {
    1495            0 :                     U8_TRACE_INFO("GUI_TOOL_SEARCH released mouse button but not a diagram clicked before");
    1496              :                 }
    1497              :             }
    1498              :         }
    1499            0 :         break;
    1500              : 
    1501            0 :         case GUI_TOOL_CREATE:
    1502              :         {
    1503            0 :             U8_TRACE_INFO("GUI_TOOL_CREATE");
    1504              : 
    1505            0 :             if ( gui_sketch_drag_state_is_dragging ( &((*this_).drag_state) ) )
    1506              :             {
    1507              :                 /* which object is selected? */
    1508              :                 const data_full_id_t *const dragged_object
    1509            0 :                     = gui_sketch_drag_state_get_dragged_object_ptr ( &((*this_).drag_state) );
    1510            0 :                 data_full_id_trace( dragged_object );
    1511              :                 const data_id_t dragged_element
    1512            0 :                     = data_full_id_get_primary_id( dragged_object );
    1513              :                 const data_id_t dragged_classifier
    1514            0 :                     = data_full_id_get_secondary_id( dragged_object );
    1515              : 
    1516              :                 /* which object is at the target location? */
    1517              :                 data_full_id_t destination_object;
    1518              :                 data_id_t diag_id;
    1519            0 :                 gui_sketch_area_private_get_element_id_at_pos( this_,
    1520              :                                                                x,
    1521              :                                                                y,
    1522              :                                                                false /* FILTER_LIFELINE */,
    1523              :                                                                &destination_object,
    1524              :                                                                &diag_id
    1525              :                                                              );
    1526            0 :                 data_full_id_trace( &destination_object );
    1527              :                 const data_id_t destination_element
    1528            0 :                     = data_full_id_get_primary_id( &destination_object );
    1529              :                 const data_id_t destination_classifier
    1530            0 :                     = data_full_id_get_secondary_id( &destination_object );
    1531              : 
    1532            0 :                 gui_sketch_card_t *target_card = gui_sketch_area_private_get_card_at_pos( this_, x, y );
    1533            0 :                 if ( data_id_is_valid( &dragged_classifier ) && data_id_is_valid( &destination_classifier ) && ( NULL != target_card ))
    1534              :                 {
    1535            0 :                     if ( ( DATA_TABLE_CLASSIFIER == data_id_get_table( &dragged_classifier ) )
    1536            0 :                         && ( DATA_TABLE_CLASSIFIER == data_id_get_table( &destination_classifier ) ) )
    1537              :                     {
    1538              :                         /* get the diagram type */
    1539            0 :                         const data_diagram_t *const target_diag = gui_sketch_card_get_diagram_ptr( target_card );
    1540            0 :                         assert ( target_diag != NULL );
    1541            0 :                         data_diagram_type_t diag_type = data_diagram_get_diagram_type( target_diag );
    1542              : 
    1543              :                         /* determine source and destionation */
    1544              :                         data_row_t new_from_classifier_id;
    1545              :                         data_row_t new_to_classifier_id;
    1546              :                         data_row_t new_from_feature_id;
    1547              :                         data_row_t new_to_feature_id;
    1548              :                         {
    1549            0 :                             new_from_classifier_id = data_id_get_row_id( &dragged_classifier );
    1550            0 :                             if ( DATA_TABLE_FEATURE == data_id_get_table( &dragged_element ) )
    1551              :                             {
    1552            0 :                                 new_from_feature_id = data_id_get_row_id( &dragged_element );
    1553              :                             }
    1554              :                             else
    1555              :                             {
    1556            0 :                                 new_from_feature_id = DATA_ROW_VOID;
    1557              :                             }
    1558            0 :                             new_to_classifier_id = data_id_get_row_id( &destination_classifier );
    1559            0 :                             if ( DATA_TABLE_FEATURE == data_id_get_table( &destination_element ) )
    1560              :                             {
    1561            0 :                                 new_to_feature_id = data_id_get_row_id( &destination_element );
    1562              :                             }
    1563              :                             else
    1564              :                             {
    1565            0 :                                 new_to_feature_id = DATA_ROW_VOID;
    1566              :                             }
    1567              :                         }
    1568              : 
    1569              :                         /* propose a list_order for the relationship */
    1570            0 :                         int32_t list_order_proposal = 0;
    1571              :                         {
    1572              :                             /* propose a list order */
    1573              :                             data_id_t fake_relationship;
    1574            0 :                             data_id_init ( &fake_relationship, DATA_TABLE_RELATIONSHIP, DATA_ROW_VOID );
    1575              :                             const layout_order_t layout_order
    1576            0 :                                 = gui_sketch_card_get_order_at_pos( target_card, fake_relationship, x, y );
    1577            0 :                             if ( LAYOUT_ORDER_TYPE_LIST == layout_order_get_order_type( &layout_order ) )
    1578              :                             {
    1579            0 :                                 list_order_proposal = layout_order_get_first( &layout_order );
    1580              :                             }
    1581              :                             else  /* LAYOUT_ORDER_TYPE_NONE */
    1582              :                             {
    1583            0 :                                 list_order_proposal = gui_sketch_card_get_highest_rel_list_order( target_card ) + 32768;
    1584              :                             }
    1585              :                         }
    1586              : 
    1587              :                         data_row_t new_relationship_id;
    1588              :                         const u8_error_t c_result
    1589            0 :                             = gui_sketch_object_creator_create_relationship( &((*this_).object_creator),
    1590              :                                                                              diag_type,
    1591              :                                                                              new_from_classifier_id,
    1592              :                                                                              new_from_feature_id,
    1593              :                                                                              new_to_classifier_id,
    1594              :                                                                              new_to_feature_id,
    1595              :                                                                              list_order_proposal,
    1596              :                                                                              &new_relationship_id
    1597              :                                                                            );
    1598              : 
    1599            0 :                         if ( U8_ERROR_NONE != c_result )
    1600              :                         {
    1601            0 :                             U8_LOG_ANOMALY_HEX("anomaly at gui_sketch_object_creator_create_relationship",c_result);
    1602              :                         }
    1603              :                         else
    1604              :                         {
    1605              :                             /* set focused object */
    1606            0 :                             const data_full_id_t focused_id
    1607              :                                  = DATA_FULL_ID_SOLO( DATA_TABLE_RELATIONSHIP, new_relationship_id );
    1608            0 :                             gui_marked_set_set_focused( (*this_).marker, focused_id, diag_id );
    1609            0 :                             gui_marked_set_clear_selected_set( (*this_).marker );
    1610              :                         }
    1611              :                     }
    1612              :                 }
    1613              :             }
    1614            0 :             else if ( gui_sketch_drag_state_is_waiting_for_move( &((*this_).drag_state) ) )
    1615              :             {
    1616              :                 const data_full_id_t *const dragged_object
    1617            0 :                     = gui_sketch_drag_state_get_dragged_object_ptr ( &((*this_).drag_state) );
    1618              :                 const data_id_t dragged_classifier
    1619            0 :                     = data_full_id_get_secondary_id( dragged_object );
    1620              : 
    1621              :                 const gui_sketch_card_t *const target_card
    1622            0 :                     = gui_sketch_area_private_get_card_at_pos( this_, x, y );
    1623            0 :                 if ( data_id_is_valid( &dragged_classifier ) && ( NULL != target_card ) )
    1624            0 :                 {
    1625              :                     /* click on classifier without drag */
    1626              :                     const layout_subelement_id_t subelement_id
    1627            0 :                         = gui_sketch_card_get_element_at_pos( target_card, x, y, false /* FILTER_LIFELINE */ );
    1628              :                     const data_full_id_t *const full_element
    1629            0 :                         = layout_subelement_id_get_id_const( &subelement_id );
    1630            0 :                     data_full_id_trace( full_element );
    1631              :                     const data_id_t clicked_element
    1632            0 :                         = data_full_id_get_primary_id( full_element );
    1633              :                     const data_id_t clicked_classifier
    1634            0 :                         = data_full_id_get_secondary_id( full_element );
    1635            0 :                     const bool is_diagele
    1636            0 :                         = ( DATA_TABLE_DIAGRAMELEMENT == data_id_get_table( &clicked_element ) );
    1637            0 :                     const bool is_outline
    1638            0 :                         = ( LAYOUT_SUBELEMENT_KIND_OUTLINE == layout_subelement_id_get_kind( &subelement_id ) );
    1639              : 
    1640            0 :                     const data_id_t diag_id = gui_sketch_card_get_diagram_id( target_card );
    1641            0 :                     if ( is_diagele && is_outline && ( DATA_TABLE_CLASSIFIER == data_id_get_table( &clicked_classifier ) ) )
    1642            0 :                     {
    1643              :                         /* get the diagram type */
    1644              :                         const data_diagram_t *const target_diag
    1645            0 :                             = gui_sketch_card_get_diagram_const ( target_card );
    1646            0 :                         assert ( target_diag != NULL );
    1647            0 :                         const data_diagram_type_t diag_type = data_diagram_get_diagram_type ( target_diag );
    1648              : 
    1649              :                         /* determine id of classifier to which the clicked object belongs */
    1650            0 :                         const data_row_t classifier_id = data_id_get_row_id( &clicked_classifier );
    1651              : 
    1652              :                         /* propose a list_order for the feature */
    1653            0 :                         const int32_t std_list_order_proposal
    1654            0 :                             = gui_sketch_card_get_highest_feat_list_order( target_card, clicked_classifier ) + 32768;
    1655            0 :                         int32_t port_list_order_proposal = 0;
    1656              :                         {
    1657            0 :                             data_feature_init_new( &((*this_).private_temp_fake_feature),
    1658              :                                                    DATA_FEATURE_TYPE_PORT,
    1659              :                                                    classifier_id, /* classifier */
    1660              :                                                    "FAKE_FEATURE",
    1661              :                                                    "port-type",
    1662              :                                                    "to determine the list order",
    1663              :                                                    0 /* list_order */
    1664              :                                                  );
    1665            0 :                             port_list_order_proposal = gui_sketch_card_get_feature_order_at_pos( target_card,
    1666            0 :                                                                                                  &((*this_).private_temp_fake_feature),
    1667              :                                                                                                  x,
    1668              :                                                                                                  y
    1669              :                                                                                                );
    1670            0 :                             data_feature_destroy ( &((*this_).private_temp_fake_feature) );
    1671              :                         }
    1672              : 
    1673              :                         /* create a feature */
    1674              :                         data_row_t new_feature_id;
    1675              :                         const u8_error_t ctrl_err
    1676            0 :                             = gui_sketch_object_creator_create_feature( &((*this_).object_creator),
    1677              :                                                                         diag_type,
    1678              :                                                                         classifier_id,
    1679              :                                                                         std_list_order_proposal,
    1680              :                                                                         port_list_order_proposal,
    1681              :                                                                         &new_feature_id
    1682              :                                                                       );
    1683              : 
    1684            0 :                         if ( U8_ERROR_NONE != ctrl_err )
    1685              :                         {
    1686            0 :                             U8_LOG_ANOMALY_HEX("anomaly at gui_sketch_object_creator_create_feature",ctrl_err);
    1687              :                         }
    1688              :                         else
    1689              :                         {
    1690              :                             /* set focused object */
    1691            0 :                             const data_full_id_t new_focused_id
    1692              :                                  = DATA_FULL_ID( DATA_TABLE_FEATURE, new_feature_id, classifier_id );
    1693            0 :                             gui_marked_set_set_focused( (*this_).marker, new_focused_id, diag_id );
    1694            0 :                             gui_marked_set_clear_selected_set( (*this_).marker );
    1695              :                         }
    1696              :                     }
    1697              :                     else
    1698              :                     {
    1699            0 :                         U8_LOG_WARNING("unexpected state at gui_sketch_area_button_release_callback");
    1700              :                     }
    1701              :                 }
    1702              :                 else
    1703              :                 {
    1704            0 :                     U8_LOG_WARNING("invalid clicked object at gui_sketch_area_button_release_callback");
    1705              :                 }
    1706              :             }
    1707              :             else
    1708              :             {
    1709            0 :                 U8_TRACE_INFO("according to drag-state, the button press was already handled at press-time");
    1710              :             }
    1711              :         }
    1712            0 :         break;
    1713              : 
    1714            0 :         default:
    1715              :         {
    1716            0 :             U8_LOG_ERROR("selected_tool is out of range");
    1717              :         }
    1718            0 :         break;
    1719              :     }
    1720              : 
    1721              :     /* stop dragging */
    1722            0 :     gui_sketch_drag_state_stop_dragging ( &((*this_).drag_state) );
    1723              : 
    1724              :     /* mark dirty rect */
    1725            0 :     gtk_widget_queue_draw( (*this_).drawing_area );
    1726              : 
    1727            0 :     U8_TRACE_END();
    1728            0 : }
    1729              : 
    1730            0 : gboolean gui_sketch_area_key_press_callback( GtkEventControllerKey* self,
    1731              :                                              guint keyval,
    1732              :                                              guint keycode,
    1733              :                                              GdkModifierType state,
    1734              :                                              gpointer user_data )
    1735              : {
    1736            0 :     U8_TRACE_BEGIN();
    1737            0 :     U8_TRACE_TIMESTAMP();
    1738            0 :     gui_sketch_area_t *this_ = user_data;
    1739            0 :     assert( NULL != this_ );
    1740              : 
    1741            0 :     const gboolean result_event_handled = gui_sketch_area_key_press( this_, 0 != (GDK_CONTROL_MASK&state), keyval );
    1742              : 
    1743            0 :     U8_TRACE_END();
    1744            0 :     return result_event_handled;
    1745              : }
    1746              : 
    1747            0 : bool gui_sketch_area_key_press( gui_sketch_area_t *this_, bool ctrl_state, guint keyval )
    1748              : {
    1749            0 :     U8_TRACE_BEGIN();
    1750            0 :     gboolean result_event_handled = false;
    1751              : 
    1752              :     /* keys that have to be handled locally in the gui_sketch_area */
    1753              :     /* becasue handling them globally would interfere with text entry fields */
    1754            0 :     if ( ctrl_state )
    1755              :     {
    1756            0 :         if ( keyval == GDK_KEY_x )
    1757              :         {
    1758            0 :             U8_TRACE_INFO ( "key pressed: Ctrl-X" );
    1759            0 :             gui_toolbox_cut( (*this_).toolbox );
    1760            0 :             result_event_handled = true;
    1761              :         }
    1762            0 :         else if ( keyval == GDK_KEY_c )
    1763              :         {
    1764            0 :             U8_TRACE_INFO ( "key pressed: Ctrl-C" );
    1765            0 :             gui_toolbox_copy( (*this_).toolbox );
    1766            0 :             result_event_handled = true;
    1767              :         }
    1768            0 :         else if ( keyval == GDK_KEY_v )
    1769              :         {
    1770            0 :             U8_TRACE_INFO ( "key pressed: Ctrl-V" );
    1771            0 :             gui_toolbox_paste( (*this_).toolbox );
    1772            0 :             result_event_handled = true;
    1773              :         }
    1774              :         /* other keys are out of scope */
    1775              :     }
    1776              :     else
    1777              :     {
    1778            0 :         if ( keyval == GDK_KEY_Delete )
    1779              :         {
    1780            0 :             U8_TRACE_INFO ( "key pressed: DEL" );
    1781            0 :             gui_toolbox_delete( (*this_).toolbox );
    1782            0 :             result_event_handled = true;
    1783              :         }
    1784              :         /* other keys are out of scope */
    1785              :     }
    1786              : 
    1787            0 :     U8_TRACE_END();
    1788            0 :     return result_event_handled;
    1789              : }
    1790              : 
    1791            0 : void gui_sketch_area_data_changed_callback( GtkWidget *widget, data_change_message_t *msg, gpointer data )
    1792              : {
    1793            0 :     U8_TRACE_BEGIN();
    1794            0 :     assert( NULL != msg );
    1795            0 :     gui_sketch_area_t *this_ = data;
    1796            0 :     assert( NULL != this_ );
    1797            0 :     assert ( NULL != widget );
    1798              : 
    1799            0 :     const data_change_event_type_t evt_type = data_change_message_get_event ( msg );
    1800              : 
    1801            0 :     if ( evt_type == DATA_CHANGE_EVENT_TYPE_DB_CLOSED )
    1802              :     {
    1803              :         /* abort dragging */
    1804            0 :         gui_sketch_drag_state_reinit( &((*this_).drag_state) );
    1805              : 
    1806              :         /* do not keep search results */
    1807            0 :         gui_sketch_result_list_invalidate_data( &((*this_).result_list) );
    1808              : 
    1809              :         /* do not keep selected or focued objects */
    1810            0 :         gui_marked_set_reset( (*this_).marker );
    1811              : 
    1812              :         /* reset the currently visible diagram */
    1813            0 :         gui_sketch_request_reinit( &((*this_).request) );
    1814              :     }
    1815              : 
    1816            0 :     if ( evt_type == DATA_CHANGE_EVENT_TYPE_DB_OPENED )
    1817              :     {
    1818              :         /* go to navigation mode, show root */
    1819            0 :         gui_sketch_request_reinit( &((*this_).request) );
    1820            0 :         gui_toolbox_set_selected_tool( (*this_).toolbox, GUI_TOOL_NAVIGATE );
    1821            0 :         gui_sketch_area_show_diagram( this_, DATA_ID_VOID );
    1822              :     }
    1823              : 
    1824              :     /* load/reload data to be drawn */
    1825            0 :     gui_sketch_area_private_refocus_and_reload_data( this_ );
    1826              : 
    1827              :     /* mark dirty rect */
    1828            0 :     gtk_widget_queue_draw( (*this_).drawing_area );
    1829              : 
    1830            0 :     U8_TRACE_END();
    1831            0 : }
    1832              : 
    1833            0 : void gui_sketch_area_tool_changed_callback( GtkWidget *widget, gui_tool_t tool, gpointer data )
    1834              : {
    1835            0 :     U8_TRACE_BEGIN();
    1836            0 :     gui_sketch_area_t *this_ = data;
    1837            0 :     assert( NULL != this_ );
    1838            0 :     assert ( NULL != widget );
    1839              : 
    1840              :     /* info: This function is called once for activating a tool and once for deactiaving it! */
    1841            0 :     if ( gui_sketch_request_get_tool_mode( &((*this_).request) ) != tool )
    1842              :     {
    1843            0 :         gui_sketch_request_set_tool_mode( &((*this_).request), tool );
    1844              : 
    1845              :         /* load/reload data to be drawn */
    1846            0 :         gui_sketch_area_private_refocus_and_reload_data( this_ );
    1847              : 
    1848              :         /* mark dirty rect */
    1849            0 :         gtk_widget_queue_draw( (*this_).drawing_area );
    1850              :     }
    1851              :     else
    1852              :     {
    1853              :         /* either the already selected tool is selected again or it is unselected */
    1854              :         /* or the clear selection button was pressed */
    1855              : 
    1856              :         /* mark dirty rect */
    1857            0 :         gtk_widget_queue_draw( (*this_).drawing_area );
    1858              :     }
    1859              : 
    1860            0 :     U8_TRACE_END();
    1861            0 : }
    1862              : 
    1863              : 
    1864              : /*
    1865              : Copyright 2016-2025 Andreas Warnke
    1866              : 
    1867              : Licensed under the Apache License, Version 2.0 (the "License");
    1868              : you may not use this file except in compliance with the License.
    1869              : You may obtain a copy of the License at
    1870              : 
    1871              :     http://www.apache.org/licenses/LICENSE-2.0
    1872              : 
    1873              : Unless required by applicable law or agreed to in writing, software
    1874              : distributed under the License is distributed on an "AS IS" BASIS,
    1875              : WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
    1876              : See the License for the specific language governing permissions and
    1877              : limitations under the License.
    1878              : */
        

Generated by: LCOV version 2.0-1