2017-07-17 23:35:13 +00:00
|
|
|
/*
|
|
|
|
* Mr. 4th Dimention - Allen Webster
|
|
|
|
*
|
2018-03-24 10:06:45 +00:00
|
|
|
* 19.08.2015
|
2017-07-17 23:35:13 +00:00
|
|
|
*
|
2018-03-24 21:43:57 +00:00
|
|
|
* Viewing
|
2017-07-17 23:35:13 +00:00
|
|
|
*
|
|
|
|
*/
|
|
|
|
|
|
|
|
// TOP
|
|
|
|
|
2019-10-14 22:57:47 +00:00
|
|
|
function void
|
|
|
|
begin_handling_input(Models *models, User_Input *input){
|
|
|
|
block_copy_struct(&models->current_input, input);
|
|
|
|
models->current_input_sequence_number += 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
////////////////////////////////
|
|
|
|
|
2019-10-13 20:17:22 +00:00
|
|
|
internal void
|
|
|
|
init_query_set(Query_Set *set){
|
|
|
|
Query_Slot *slot = set->slots;
|
|
|
|
set->free_slot = slot;
|
|
|
|
set->used_slot = 0;
|
|
|
|
for (i32 i = 0; i+1 < ArrayCount(set->slots); ++i, ++slot){
|
|
|
|
slot->next = slot + 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
internal Query_Slot*
|
|
|
|
alloc_query_slot(Query_Set *set){
|
|
|
|
Query_Slot *slot = set->free_slot;
|
|
|
|
if (slot != 0){
|
|
|
|
set->free_slot = slot->next;
|
|
|
|
slot->next = set->used_slot;
|
|
|
|
set->used_slot = slot;
|
|
|
|
}
|
|
|
|
return(slot);
|
|
|
|
}
|
|
|
|
|
|
|
|
internal void
|
|
|
|
free_query_slot(Query_Set *set, Query_Bar *match_bar){
|
|
|
|
Query_Slot *slot = 0;
|
|
|
|
Query_Slot *prev = 0;
|
|
|
|
|
|
|
|
for (slot = set->used_slot; slot != 0; slot = slot->next){
|
|
|
|
if (slot->query_bar == match_bar) break;
|
|
|
|
prev = slot;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (slot){
|
|
|
|
if (prev){
|
|
|
|
prev->next = slot->next;
|
|
|
|
}
|
|
|
|
else{
|
|
|
|
set->used_slot = slot->next;
|
|
|
|
}
|
|
|
|
slot->next = set->free_slot;
|
|
|
|
set->free_slot = slot;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
function void
|
|
|
|
free_all_queries(Query_Set *set){
|
|
|
|
for (;set->used_slot != 0;){
|
|
|
|
Query_Slot *slot = set->used_slot;
|
|
|
|
set->used_slot = slot->next;
|
|
|
|
slot->next = set->free_slot;
|
|
|
|
set->free_slot = slot;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
////////////////////////////////
|
|
|
|
|
2019-10-10 18:21:47 +00:00
|
|
|
internal Command_Map_ID
|
2018-08-04 02:41:38 +00:00
|
|
|
view_get_map(View *view){
|
2019-10-14 02:13:15 +00:00
|
|
|
return(view->file->settings.base_map_id);
|
2018-08-04 02:41:38 +00:00
|
|
|
}
|
|
|
|
|
2019-10-18 02:54:02 +00:00
|
|
|
internal Access_Flag
|
2019-02-13 22:14:27 +00:00
|
|
|
view_get_access_flags(View *view){
|
2019-10-18 02:54:02 +00:00
|
|
|
Access_Flag result = file_get_access_flags(view->file);
|
2019-10-14 02:13:15 +00:00
|
|
|
View_Context_Node *node = view->ctx;
|
2019-10-18 02:54:02 +00:00
|
|
|
b32 hides_buffer = (node != 0 && node->ctx.hides_buffer);
|
|
|
|
if (hides_buffer){
|
|
|
|
RemFlag(result, Access_Visible);
|
2019-02-13 22:14:27 +00:00
|
|
|
}
|
|
|
|
return(result);
|
|
|
|
}
|
|
|
|
|
2019-02-10 09:18:34 +00:00
|
|
|
internal i32
|
|
|
|
view_get_index(Live_Views *live_set, View *view){
|
|
|
|
return((i32)(view - live_set->views));
|
|
|
|
}
|
|
|
|
|
2019-09-02 18:59:36 +00:00
|
|
|
internal View_ID
|
2019-02-10 09:18:34 +00:00
|
|
|
view_get_id(Live_Views *live_set, View *view){
|
2019-09-02 18:59:36 +00:00
|
|
|
return((View_ID)(view - live_set->views) + 1);
|
2019-02-10 09:18:34 +00:00
|
|
|
}
|
|
|
|
|
2019-02-05 09:13:38 +00:00
|
|
|
internal View*
|
2019-09-04 05:31:35 +00:00
|
|
|
live_set_alloc_view(Lifetime_Allocator *lifetime_allocator, Live_Views *live_set, Panel *panel){
|
2018-03-26 05:19:08 +00:00
|
|
|
Assert(live_set->count < live_set->max);
|
|
|
|
++live_set->count;
|
|
|
|
|
2019-02-10 09:18:34 +00:00
|
|
|
View *result = live_set->free_sentinel.next;
|
2019-02-27 05:49:35 +00:00
|
|
|
dll_remove(result);
|
2019-02-10 09:18:34 +00:00
|
|
|
block_zero_struct(result);
|
2018-03-26 05:19:08 +00:00
|
|
|
|
2019-02-10 09:18:34 +00:00
|
|
|
result->in_use = true;
|
|
|
|
init_query_set(&result->query_set);
|
2019-09-04 05:31:35 +00:00
|
|
|
result->lifetime_object = lifetime_alloc_object(lifetime_allocator, DynamicWorkspace_View, result);
|
2019-02-27 05:49:35 +00:00
|
|
|
panel->view = result;
|
|
|
|
result->panel = panel;
|
2018-06-23 03:03:58 +00:00
|
|
|
|
2018-03-26 05:19:08 +00:00
|
|
|
return(result);
|
|
|
|
}
|
|
|
|
|
2019-01-31 13:06:42 +00:00
|
|
|
internal void
|
2019-09-04 05:31:35 +00:00
|
|
|
live_set_free_view(Lifetime_Allocator *lifetime_allocator, Live_Views *live_set, View *view){
|
2018-03-26 05:19:08 +00:00
|
|
|
Assert(live_set->count > 0);
|
|
|
|
--live_set->count;
|
|
|
|
|
2019-02-10 09:18:34 +00:00
|
|
|
view->next = live_set->free_sentinel.next;
|
|
|
|
view->prev = &live_set->free_sentinel;
|
|
|
|
live_set->free_sentinel.next = view;
|
|
|
|
view->next->prev = view;
|
|
|
|
view->in_use = false;
|
2018-06-23 03:03:58 +00:00
|
|
|
|
2019-09-04 05:31:35 +00:00
|
|
|
lifetime_free_object(lifetime_allocator, view->lifetime_object);
|
2018-03-26 05:19:08 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
////////////////////////////////
|
|
|
|
|
2019-02-09 22:48:53 +00:00
|
|
|
internal File_Edit_Positions
|
|
|
|
view_get_edit_pos(View *view){
|
2019-02-10 09:18:34 +00:00
|
|
|
return(view->edit_pos_);
|
2019-02-09 22:48:53 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
internal void
|
|
|
|
view_set_edit_pos(View *view, File_Edit_Positions edit_pos){
|
2019-09-02 18:59:36 +00:00
|
|
|
edit_pos.scroll.position.line_number = clamp_bot(1, edit_pos.scroll.position.line_number);
|
|
|
|
edit_pos.scroll.target.line_number = clamp_bot(1, edit_pos.scroll.target.line_number);
|
2019-02-10 09:18:34 +00:00
|
|
|
view->edit_pos_ = edit_pos;
|
2019-02-27 05:49:35 +00:00
|
|
|
view->file->state.edit_pos_most_recent = edit_pos;
|
2019-02-09 22:48:53 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
////////////////////////////////
|
|
|
|
|
2019-06-19 02:31:59 +00:00
|
|
|
internal Rect_f32
|
2019-03-31 18:55:26 +00:00
|
|
|
view_get_buffer_rect(Models *models, View *view){
|
2019-10-16 22:31:59 +00:00
|
|
|
Rect_f32 region = Rf32(view->panel->rect_full);
|
2019-10-14 22:57:47 +00:00
|
|
|
if (models->buffer_region != 0){
|
2019-10-16 22:31:59 +00:00
|
|
|
Rect_f32 rect = region;
|
2019-06-19 02:31:59 +00:00
|
|
|
Rect_f32 sub_region = Rf32(V2(0, 0), rect_dim(rect));
|
2019-10-14 22:57:47 +00:00
|
|
|
sub_region = models->buffer_region(&models->app_links, view_get_id(&models->live_set, view), sub_region);
|
2019-02-27 05:49:35 +00:00
|
|
|
region.p0 = rect.p0 + sub_region.p0;
|
|
|
|
region.p1 = rect.p0 + sub_region.p1;
|
|
|
|
region.x1 = clamp_top(region.x1, rect.x1);
|
|
|
|
region.y1 = clamp_top(region.y1, rect.y1);
|
|
|
|
region.x0 = clamp_top(region.x0, region.x1);
|
|
|
|
region.y0 = clamp_top(region.y0, region.y1);
|
|
|
|
}
|
|
|
|
return(region);
|
|
|
|
}
|
|
|
|
|
2019-06-19 02:31:59 +00:00
|
|
|
internal f32
|
2019-02-27 05:49:35 +00:00
|
|
|
view_width(Models *models, View *view){
|
2019-03-31 18:55:26 +00:00
|
|
|
return(rect_width(view_get_buffer_rect(models, view)));
|
2018-03-24 10:06:45 +00:00
|
|
|
}
|
|
|
|
|
2019-06-19 02:31:59 +00:00
|
|
|
internal f32
|
2019-02-27 05:49:35 +00:00
|
|
|
view_height(Models *models, View *view){
|
2019-03-31 18:55:26 +00:00
|
|
|
return(rect_height(view_get_buffer_rect(models, view)));
|
2018-03-24 10:06:45 +00:00
|
|
|
}
|
|
|
|
|
2019-09-02 18:59:36 +00:00
|
|
|
////////////////////////////////
|
|
|
|
|
|
|
|
internal Buffer_Layout_Item_List
|
|
|
|
view_get_line_layout(Models *models, View *view, i64 line_number){
|
|
|
|
Editing_File *file = view->file;
|
2019-09-02 21:32:52 +00:00
|
|
|
Face *face = file_get_face(models, file);
|
2019-09-02 18:59:36 +00:00
|
|
|
f32 width = view_width(models, view);
|
|
|
|
return(file_get_line_layout(models, file, width, face, line_number));
|
2018-03-24 10:06:45 +00:00
|
|
|
}
|
|
|
|
|
2019-09-02 18:59:36 +00:00
|
|
|
internal Line_Shift_Vertical
|
|
|
|
view_line_shift_y(Models *models, View *view, i64 line_number, f32 y_delta){
|
2019-07-31 20:43:27 +00:00
|
|
|
Editing_File *file = view->file;
|
2019-09-02 21:32:52 +00:00
|
|
|
Face *face = file_get_face(models, file);
|
2019-09-02 18:59:36 +00:00
|
|
|
f32 width = view_width(models, view);
|
|
|
|
return(file_line_shift_y(models, file, width, face, line_number, y_delta));
|
2018-03-24 10:06:45 +00:00
|
|
|
}
|
|
|
|
|
2019-09-02 18:59:36 +00:00
|
|
|
internal f32
|
|
|
|
view_line_y_difference(Models *models, View *view, i64 line_a, i64 line_b){
|
|
|
|
Editing_File *file = view->file;
|
2019-09-02 21:32:52 +00:00
|
|
|
Face *face = file_get_face(models, file);
|
2019-09-02 18:59:36 +00:00
|
|
|
f32 width = view_width(models, view);
|
|
|
|
return(file_line_y_difference(models, file, width, face, line_a, line_b));
|
2018-07-17 03:21:22 +00:00
|
|
|
}
|
|
|
|
|
2019-09-02 18:59:36 +00:00
|
|
|
internal i64
|
|
|
|
view_pos_at_relative_xy(Models *models, View *view, i64 base_line, Vec2_f32 relative_xy){
|
2019-02-27 05:49:35 +00:00
|
|
|
Editing_File *file = view->file;
|
2019-09-02 21:32:52 +00:00
|
|
|
Face *face = file_get_face(models, file);
|
2019-09-02 18:59:36 +00:00
|
|
|
f32 width = view_width(models, view);
|
|
|
|
return(file_pos_at_relative_xy(models, file, width, face, base_line, relative_xy));
|
|
|
|
}
|
|
|
|
|
|
|
|
internal Vec2_f32
|
|
|
|
view_relative_xy_of_pos(Models *models, View *view, i64 base_line, i64 pos){
|
|
|
|
Editing_File *file = view->file;
|
2019-09-02 21:32:52 +00:00
|
|
|
Face *face = file_get_face(models, file);
|
2019-09-02 18:59:36 +00:00
|
|
|
f32 width = view_width(models, view);
|
|
|
|
return(file_relative_xy_of_pos(models, file, width, face, base_line, pos));
|
|
|
|
}
|
|
|
|
|
|
|
|
internal Buffer_Point
|
|
|
|
view_normalize_buffer_point(Models *models, View *view, Buffer_Point point){
|
|
|
|
Editing_File *file = view->file;
|
2019-09-02 21:32:52 +00:00
|
|
|
Face *face = file_get_face(models, file);
|
2019-09-02 18:59:36 +00:00
|
|
|
f32 width = view_width(models, view);
|
|
|
|
return(file_normalize_buffer_point(models, file, width, face, point));
|
|
|
|
}
|
|
|
|
|
|
|
|
internal Vec2_f32
|
|
|
|
view_buffer_point_difference(Models *models, View *view, Buffer_Point a, Buffer_Point b){
|
|
|
|
Editing_File *file = view->file;
|
2019-09-02 21:32:52 +00:00
|
|
|
Face *face = file_get_face(models, file);
|
2019-09-02 18:59:36 +00:00
|
|
|
f32 width = view_width(models, view);
|
|
|
|
return(file_buffer_point_difference(models, file, width, face, a, b));
|
|
|
|
}
|
|
|
|
|
|
|
|
internal Buffer_Point
|
|
|
|
view_move_buffer_point(Models *models, View *view, Buffer_Point buffer_point, Vec2_f32 delta){
|
|
|
|
delta += buffer_point.pixel_shift;
|
|
|
|
Line_Shift_Vertical shift = view_line_shift_y(models, view, buffer_point.line_number, delta.y);
|
|
|
|
buffer_point.line_number = shift.line;
|
|
|
|
buffer_point.pixel_shift = V2f32(delta.x, delta.y - shift.y_delta);
|
|
|
|
return(buffer_point);
|
|
|
|
}
|
|
|
|
|
|
|
|
internal Line_Shift_Character
|
|
|
|
view_line_shift_characters(Models *models, View *view, i64 line_number, i64 character_delta){
|
|
|
|
Editing_File *file = view->file;
|
2019-09-02 21:32:52 +00:00
|
|
|
Face *face = file_get_face(models, file);
|
2019-09-02 18:59:36 +00:00
|
|
|
f32 width = view_width(models, view);
|
|
|
|
return(file_line_shift_characters(models, file, width, face, line_number, character_delta));
|
|
|
|
}
|
|
|
|
|
|
|
|
internal i64
|
|
|
|
view_line_character_difference(Models *models, View *view, i64 line_a, i64 line_b){
|
|
|
|
Editing_File *file = view->file;
|
2019-09-02 21:32:52 +00:00
|
|
|
Face *face = file_get_face(models, file);
|
2019-09-02 18:59:36 +00:00
|
|
|
f32 width = view_width(models, view);
|
|
|
|
return(file_line_character_difference(models, file, width, face, line_a, line_b));
|
|
|
|
}
|
|
|
|
|
|
|
|
internal i64
|
|
|
|
view_pos_from_relative_character(Models *models, View *view, i64 base_line, i64 relative_character){
|
|
|
|
Editing_File *file = view->file;
|
2019-09-02 21:32:52 +00:00
|
|
|
Face *face = file_get_face(models, file);
|
2019-09-02 18:59:36 +00:00
|
|
|
f32 width = view_width(models, view);
|
|
|
|
return(file_pos_from_relative_character(models, file, width, face, base_line, relative_character));
|
|
|
|
}
|
|
|
|
|
|
|
|
internal i64
|
|
|
|
view_relative_character_from_pos(Models *models, View *view, i64 base_line, i64 pos){
|
|
|
|
Editing_File *file = view->file;
|
2019-09-02 21:32:52 +00:00
|
|
|
Face *face = file_get_face(models, file);
|
2019-09-02 18:59:36 +00:00
|
|
|
f32 width = view_width(models, view);
|
|
|
|
return(file_relative_character_from_pos(models, file, width, face, base_line, pos));
|
2018-03-24 10:06:45 +00:00
|
|
|
}
|
|
|
|
|
2019-09-02 21:32:52 +00:00
|
|
|
internal Buffer_Cursor
|
|
|
|
view_compute_cursor(View *view, Buffer_Seek seek){
|
|
|
|
Editing_File *file = view->file;
|
|
|
|
return(file_compute_cursor(file, seek));
|
|
|
|
}
|
|
|
|
|
2018-03-25 06:43:56 +00:00
|
|
|
////////////////////////////////
|
|
|
|
|
2018-03-24 10:06:45 +00:00
|
|
|
internal b32
|
2019-09-02 18:59:36 +00:00
|
|
|
view_move_view_to_cursor(Models *models, View *view, Buffer_Scroll *scroll){
|
|
|
|
Editing_File *file = view->file;
|
2019-09-02 21:32:52 +00:00
|
|
|
Face *face = file_get_face(models, file);
|
2019-09-02 18:59:36 +00:00
|
|
|
Rect_f32 rect = view_get_buffer_rect(models, view);
|
|
|
|
Vec2_f32 view_dim = rect_dim(rect);
|
2018-03-24 10:06:45 +00:00
|
|
|
|
2019-09-02 18:59:36 +00:00
|
|
|
File_Edit_Positions edit_pos = view_get_edit_pos(view);
|
2019-09-02 21:32:52 +00:00
|
|
|
Vec2_f32 p = file_relative_xy_of_pos(models, file, view_dim.x, face, scroll->target.line_number,
|
2019-09-02 18:59:36 +00:00
|
|
|
edit_pos.cursor_pos);
|
|
|
|
p -= scroll->target.pixel_shift;
|
2018-03-24 10:06:45 +00:00
|
|
|
|
2019-10-09 14:40:50 +00:00
|
|
|
f32 line_height = face->line_height;
|
2019-09-02 18:59:36 +00:00
|
|
|
f32 typical_advance = face->typical_advance;
|
2018-03-24 10:06:45 +00:00
|
|
|
|
2019-09-02 18:59:36 +00:00
|
|
|
Vec2_f32 target_p_relative = {};
|
2019-10-18 02:54:02 +00:00
|
|
|
if (p.y < 0.f){
|
|
|
|
target_p_relative.y = p.y - line_height*1.5f;
|
2018-03-24 10:06:45 +00:00
|
|
|
}
|
2019-10-18 02:54:02 +00:00
|
|
|
else if (p.y > view_dim.y){
|
|
|
|
target_p_relative.y = (p.y + line_height*1.5f) - view_dim.y;
|
2018-03-24 10:06:45 +00:00
|
|
|
}
|
2019-09-02 18:59:36 +00:00
|
|
|
if (p.x < 0.f){
|
2019-10-18 02:54:02 +00:00
|
|
|
target_p_relative.x = p.x - typical_advance*1.5f;
|
2018-03-24 10:06:45 +00:00
|
|
|
}
|
2019-09-02 18:59:36 +00:00
|
|
|
else if (p.x > view_dim.x){
|
2019-10-18 02:54:02 +00:00
|
|
|
target_p_relative.x = (p.x + typical_advance*1.5f) - view_dim.x;
|
2018-03-24 10:06:45 +00:00
|
|
|
}
|
2019-10-18 02:54:02 +00:00
|
|
|
scroll->target.pixel_shift += target_p_relative;
|
2019-09-02 18:59:36 +00:00
|
|
|
scroll->target = view_normalize_buffer_point(models, view, scroll->target);
|
|
|
|
scroll->target.pixel_shift.x = f32_round32(scroll->target.pixel_shift.x);
|
|
|
|
scroll->target.pixel_shift.y = f32_round32(scroll->target.pixel_shift.y);
|
2018-03-24 10:06:45 +00:00
|
|
|
|
2019-09-02 18:59:36 +00:00
|
|
|
return(target_p_relative != V2f32(0.f, 0.f));
|
2018-03-24 10:06:45 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
internal b32
|
2019-09-02 18:59:36 +00:00
|
|
|
view_move_cursor_to_view(Models *models, View *view, Buffer_Scroll scroll, i64 *pos_in_out, f32 preferred_x){
|
2019-02-27 05:49:35 +00:00
|
|
|
Editing_File *file = view->file;
|
2019-09-02 21:32:52 +00:00
|
|
|
Face *face = file_get_face(models, file);
|
2019-09-02 18:59:36 +00:00
|
|
|
Rect_f32 rect = view_get_buffer_rect(models, view);
|
|
|
|
Vec2_f32 view_dim = rect_dim(rect);
|
2018-03-24 10:06:45 +00:00
|
|
|
|
2019-09-02 21:32:52 +00:00
|
|
|
Vec2_f32 p = file_relative_xy_of_pos(models, file, view_dim.x, face, scroll.target.line_number, *pos_in_out);
|
2019-09-02 18:59:36 +00:00
|
|
|
p -= scroll.target.pixel_shift;
|
2019-02-04 03:51:43 +00:00
|
|
|
|
2019-10-09 14:40:50 +00:00
|
|
|
f32 line_height = face->line_height;
|
2019-09-02 18:59:36 +00:00
|
|
|
|
|
|
|
b32 adjusted_y = true;
|
2019-10-18 02:54:02 +00:00
|
|
|
if (p.y < 0.f){
|
|
|
|
p.y = line_height*1.5f;
|
2019-09-02 18:59:36 +00:00
|
|
|
}
|
2019-10-18 02:54:02 +00:00
|
|
|
else if (p.y > view_dim.y){
|
|
|
|
p.y = view_dim.y - line_height*1.5f;
|
2019-02-04 03:51:43 +00:00
|
|
|
}
|
2019-09-02 18:59:36 +00:00
|
|
|
else{
|
|
|
|
adjusted_y = false;
|
2019-02-04 03:51:43 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
b32 result = false;
|
2019-09-02 18:59:36 +00:00
|
|
|
if (adjusted_y){
|
|
|
|
p += scroll.target.pixel_shift;
|
2019-09-02 21:32:52 +00:00
|
|
|
*pos_in_out = file_pos_at_relative_xy(models, file, view_dim.x, face, scroll.target.line_number, p);
|
2019-02-04 03:51:43 +00:00
|
|
|
result = true;
|
2018-03-24 10:06:45 +00:00
|
|
|
}
|
2018-03-24 21:43:57 +00:00
|
|
|
|
|
|
|
return(result);
|
2018-03-24 10:06:45 +00:00
|
|
|
}
|
|
|
|
|
2018-03-24 21:43:57 +00:00
|
|
|
internal void
|
2019-09-02 18:59:36 +00:00
|
|
|
view_set_cursor(Models *models, View *view, i64 pos){
|
2019-02-09 22:48:53 +00:00
|
|
|
File_Edit_Positions edit_pos = view_get_edit_pos(view);
|
2019-09-02 18:59:36 +00:00
|
|
|
file_edit_positions_set_cursor(&edit_pos, pos);
|
2019-02-10 00:20:55 +00:00
|
|
|
view_set_edit_pos(view, edit_pos);
|
2019-09-02 18:59:36 +00:00
|
|
|
Buffer_Scroll scroll = edit_pos.scroll;
|
2019-07-24 07:41:40 +00:00
|
|
|
if (view_move_view_to_cursor(models, view, &scroll)){
|
2019-02-09 22:48:53 +00:00
|
|
|
edit_pos.scroll = scroll;
|
2019-02-10 00:20:55 +00:00
|
|
|
view_set_edit_pos(view, edit_pos);
|
2018-03-24 10:06:45 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
internal void
|
2019-09-02 18:59:36 +00:00
|
|
|
view_set_scroll(Models *models, View *view, Buffer_Scroll scroll){
|
2019-02-09 22:48:53 +00:00
|
|
|
File_Edit_Positions edit_pos = view_get_edit_pos(view);
|
2019-09-02 18:59:36 +00:00
|
|
|
file_edit_positions_set_scroll(&edit_pos, scroll);
|
2019-02-09 22:48:53 +00:00
|
|
|
view_set_edit_pos(view, edit_pos);
|
2019-09-02 18:59:36 +00:00
|
|
|
if (view_move_cursor_to_view(models, view, edit_pos.scroll, &edit_pos.cursor_pos, view->preferred_x)){
|
2019-02-10 00:20:55 +00:00
|
|
|
view_set_edit_pos(view, edit_pos);
|
|
|
|
}
|
2018-03-24 21:43:57 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
internal void
|
2019-10-08 19:16:20 +00:00
|
|
|
view_set_cursor_and_scroll(Models *models, View *view, i64 pos, Buffer_Scroll scroll){
|
2019-02-09 22:48:53 +00:00
|
|
|
File_Edit_Positions edit_pos = view_get_edit_pos(view);
|
2019-09-02 18:59:36 +00:00
|
|
|
file_edit_positions_set_cursor(&edit_pos, pos);
|
2019-10-08 19:16:20 +00:00
|
|
|
Buffer_Cursor cursor = view_compute_cursor(view, seek_pos(pos));
|
|
|
|
Vec2_f32 p = view_relative_xy_of_pos(models, view, cursor.line, pos);
|
|
|
|
view->preferred_x = p.x;
|
2019-09-02 18:59:36 +00:00
|
|
|
file_edit_positions_set_scroll(&edit_pos, scroll);
|
2019-02-09 22:48:53 +00:00
|
|
|
edit_pos.last_set_type = EditPos_None;
|
|
|
|
view_set_edit_pos(view, edit_pos);
|
2018-03-24 10:06:45 +00:00
|
|
|
}
|
|
|
|
|
2019-01-31 13:06:42 +00:00
|
|
|
internal void
|
2019-09-02 18:59:36 +00:00
|
|
|
view_post_paste_effect(View *view, f32 seconds, i64 start, i64 size, u32 color){
|
2019-02-27 05:49:35 +00:00
|
|
|
Editing_File *file = view->file;
|
2018-03-25 06:43:56 +00:00
|
|
|
file->state.paste_effect.start = start;
|
|
|
|
file->state.paste_effect.end = start + size;
|
|
|
|
file->state.paste_effect.color = color;
|
|
|
|
file->state.paste_effect.seconds_down = seconds;
|
|
|
|
file->state.paste_effect.seconds_max = seconds;
|
2018-03-24 10:06:45 +00:00
|
|
|
}
|
|
|
|
|
2018-03-25 06:43:56 +00:00
|
|
|
////////////////////////////////
|
|
|
|
|
2018-03-26 05:19:08 +00:00
|
|
|
internal void
|
2019-10-03 17:57:44 +00:00
|
|
|
view_set_file(Models *models, View *view, Editing_File *file){
|
2018-03-26 05:19:08 +00:00
|
|
|
Assert(file != 0);
|
|
|
|
|
2019-02-27 05:49:35 +00:00
|
|
|
Editing_File *old_file = view->file;
|
2019-02-04 03:51:43 +00:00
|
|
|
if (old_file != 0){
|
|
|
|
file_touch(&models->working_set, old_file);
|
2019-02-10 00:20:55 +00:00
|
|
|
file_edit_positions_push(old_file, view_get_edit_pos(view));
|
2018-03-26 05:19:08 +00:00
|
|
|
}
|
|
|
|
|
2019-02-27 05:49:35 +00:00
|
|
|
view->file = file;
|
2018-03-26 05:19:08 +00:00
|
|
|
|
2019-02-10 00:35:47 +00:00
|
|
|
File_Edit_Positions edit_pos = file_edit_positions_pop(file);
|
|
|
|
view_set_edit_pos(view, edit_pos);
|
2019-02-10 09:18:34 +00:00
|
|
|
view->mark = edit_pos.cursor_pos;
|
2019-09-02 21:32:52 +00:00
|
|
|
Buffer_Cursor cursor = view_compute_cursor(view, seek_pos(edit_pos.cursor_pos));
|
|
|
|
Vec2_f32 p = view_relative_xy_of_pos(models, view, cursor.line, edit_pos.cursor_pos);
|
|
|
|
view->preferred_x = p.x;
|
2019-07-21 18:16:34 +00:00
|
|
|
|
2019-02-24 07:22:16 +00:00
|
|
|
models->layout.panel_state_dirty = true;
|
2018-03-26 05:19:08 +00:00
|
|
|
}
|
|
|
|
|
2019-10-13 20:17:22 +00:00
|
|
|
////////////////////////////////
|
|
|
|
|
2019-10-14 06:58:49 +00:00
|
|
|
function void
|
2019-10-15 03:26:00 +00:00
|
|
|
view_push_context(View *view, View_Context *ctx){
|
|
|
|
Temp_Memory pop_me = begin_temp(view->node_arena);
|
|
|
|
View_Context_Node *node = push_array_zero(view->node_arena, View_Context_Node, 1);
|
2019-10-14 06:58:49 +00:00
|
|
|
sll_stack_push(view->ctx, node);
|
2019-10-15 03:26:00 +00:00
|
|
|
node->pop_me = pop_me;
|
2019-10-14 06:58:49 +00:00
|
|
|
block_copy_struct(&node->ctx, ctx);
|
2019-10-15 03:26:00 +00:00
|
|
|
node->delta_rule_memory = push_array_zero(view->node_arena, u8, ctx->delta_rule_memory_size);
|
2019-10-14 06:58:49 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
function void
|
2019-10-15 03:26:00 +00:00
|
|
|
view_pop_context(View *view){
|
2019-10-14 06:58:49 +00:00
|
|
|
View_Context_Node *node = view->ctx;
|
2019-10-15 03:26:00 +00:00
|
|
|
if (node != 0 && node->next != 0){
|
2019-10-14 06:58:49 +00:00
|
|
|
sll_stack_pop(view->ctx);
|
2019-10-15 03:26:00 +00:00
|
|
|
end_temp(node->pop_me);
|
2019-10-14 06:58:49 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-10-15 03:26:00 +00:00
|
|
|
function View_Context_Node*
|
2019-10-18 02:54:02 +00:00
|
|
|
view_current_context_node(View *view){
|
2019-10-15 03:26:00 +00:00
|
|
|
return(view->ctx);
|
|
|
|
}
|
|
|
|
|
2019-10-14 06:58:49 +00:00
|
|
|
function View_Context
|
2019-10-18 02:54:02 +00:00
|
|
|
view_current_context(View *view){
|
2019-10-14 06:58:49 +00:00
|
|
|
View_Context ctx = {};
|
|
|
|
View_Context_Node *node = view->ctx;
|
|
|
|
if (node != 0){
|
|
|
|
block_copy_struct(&ctx, &node->ctx);
|
|
|
|
}
|
|
|
|
return(ctx);
|
|
|
|
}
|
|
|
|
|
|
|
|
////////////////////////////////
|
|
|
|
|
2019-10-13 20:17:22 +00:00
|
|
|
internal App_Coroutine_State
|
|
|
|
get_co_state(Application_Links *app){
|
|
|
|
App_Coroutine_State state = {};
|
|
|
|
state.co = app->current_coroutine;
|
|
|
|
state.type = app->type_coroutine;
|
|
|
|
return(state);
|
|
|
|
}
|
|
|
|
|
|
|
|
internal void
|
|
|
|
restore_co_state(Application_Links *app, App_Coroutine_State state){
|
|
|
|
app->current_coroutine = state.co;
|
|
|
|
app->type_coroutine = state.type;
|
|
|
|
}
|
|
|
|
|
|
|
|
internal Coroutine*
|
|
|
|
co_handle_request(Models *models, Coroutine *co, Co_Out *out){
|
|
|
|
Coroutine *result = 0;
|
|
|
|
switch (out->request){
|
|
|
|
case CoRequest_NewFontFace:
|
|
|
|
{
|
|
|
|
Face_Description *description = out->face_description;
|
|
|
|
Face *face = font_set_new_face(&models->font_set, description);
|
|
|
|
Co_In in = {};
|
|
|
|
in.face_id = face->id;
|
|
|
|
result = coroutine_run(&models->coroutines, co, &in, out);
|
|
|
|
}break;
|
|
|
|
|
|
|
|
case CoRequest_ModifyFace:
|
|
|
|
{
|
|
|
|
Face_Description *description = out->face_description;
|
|
|
|
Face_ID face_id = out->face_id;
|
|
|
|
Co_In in = {};
|
|
|
|
in.success = font_set_modify_face(&models->font_set, face_id, description);
|
|
|
|
result = coroutine_run(&models->coroutines, co, &in, out);
|
|
|
|
}break;
|
|
|
|
}
|
|
|
|
return(result);
|
|
|
|
}
|
|
|
|
|
|
|
|
internal Coroutine*
|
|
|
|
co_run(Models *models, App_Coroutine_Purpose purpose, Coroutine *co,
|
|
|
|
Co_In *in, Co_Out *out){
|
|
|
|
Application_Links *app = &models->app_links;
|
|
|
|
App_Coroutine_State prev_state = get_co_state(app);
|
|
|
|
app->current_coroutine = co;
|
|
|
|
app->type_coroutine = purpose;
|
|
|
|
Coroutine *result = coroutine_run(&models->coroutines, co, in, out);
|
|
|
|
for (;result != 0 && out->request != CoRequest_None;){
|
|
|
|
result = co_handle_request(models, result, out);
|
|
|
|
}
|
|
|
|
restore_co_state(app, prev_state);
|
|
|
|
return(result);
|
|
|
|
}
|
|
|
|
|
|
|
|
internal void
|
|
|
|
view_event_context_base__inner(Coroutine *coroutine){
|
|
|
|
Co_In *in = (Co_In*)coroutine->in;
|
|
|
|
Models *models = in->models;
|
|
|
|
Custom_Command_Function *event_context_base = in->event_context_base;
|
|
|
|
Assert(event_context_base != 0);
|
|
|
|
event_context_base(&models->app_links);
|
|
|
|
}
|
|
|
|
|
|
|
|
function void
|
|
|
|
view_init(Models *models, View *view, Editing_File *initial_buffer,
|
|
|
|
Custom_Command_Function *event_context_base){
|
|
|
|
view_set_file(models, view, initial_buffer);
|
2019-10-14 06:58:49 +00:00
|
|
|
|
2019-10-15 03:26:00 +00:00
|
|
|
view->node_arena = reserve_arena(models->tctx);
|
|
|
|
|
2019-10-14 06:58:49 +00:00
|
|
|
View_Context first_ctx = {};
|
|
|
|
first_ctx.render_caller = models->render_caller;
|
2019-10-15 03:26:00 +00:00
|
|
|
first_ctx.delta_rule = models->delta_rule;
|
|
|
|
first_ctx.delta_rule_memory_size = models->delta_rule_memory_size;
|
|
|
|
view_push_context(view, &first_ctx);
|
2019-10-14 06:58:49 +00:00
|
|
|
|
2019-10-13 20:17:22 +00:00
|
|
|
view->co = coroutine_create(&models->coroutines, view_event_context_base__inner);
|
|
|
|
Co_In in = {};
|
|
|
|
in.models = models;
|
|
|
|
in.event_context_base = event_context_base;
|
|
|
|
view->co = co_run(models, Co_View, view->co, &in, &view->co_out);
|
|
|
|
// TODO(allen): deal with this kind of problem!
|
|
|
|
Assert(view->co != 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
function b32
|
|
|
|
view_close(Models *models, View *view){
|
|
|
|
Layout *layout = &models->layout;
|
|
|
|
b32 result = false;
|
|
|
|
if (layout_close_panel(layout, view->panel)){
|
|
|
|
live_set_free_view(&models->lifetime_allocator, &models->live_set, view);
|
|
|
|
result = true;
|
|
|
|
}
|
|
|
|
return(result);
|
|
|
|
}
|
|
|
|
|
|
|
|
internal void
|
|
|
|
view_check_co_exited(Models *models, View *view){
|
|
|
|
if (view->co == 0){
|
|
|
|
b32 result = view_close(models, view);
|
|
|
|
// TODO(allen): Here it looks like the final view has
|
|
|
|
// closed exited from it's event handler. We should probably
|
|
|
|
// have a failsafe restarter for the event handler when this
|
|
|
|
// happens.
|
|
|
|
Assert(result);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
internal void
|
|
|
|
co_single_abort(Models *models, View *view){
|
|
|
|
Coroutine *co = view->co;
|
|
|
|
Co_In in = {};
|
|
|
|
in.user_input.abort = true;
|
|
|
|
view->co = co_run(models, Co_View, co, &in, &view->co_out);
|
|
|
|
view_check_co_exited(models, view);
|
|
|
|
}
|
|
|
|
|
|
|
|
internal void
|
|
|
|
co_full_abort(Models *models, View *view){
|
|
|
|
Coroutine *co = view->co;
|
|
|
|
Co_In in = {};
|
|
|
|
in.user_input.abort = true;
|
|
|
|
for (u32 j = 0; j < 100 && co != 0; ++j){
|
|
|
|
co = co_run(models, Co_View, co, &in, &view->co_out);
|
|
|
|
}
|
|
|
|
if (co != 0){
|
|
|
|
#define M "SERIOUS ERROR: full stack abort did not complete"
|
|
|
|
print_message(&models->app_links, string_u8_litexpr(M));
|
|
|
|
#undef M
|
|
|
|
}
|
|
|
|
view->co = 0;
|
|
|
|
init_query_set(&view->query_set);
|
|
|
|
}
|
|
|
|
|
|
|
|
function b32
|
|
|
|
co_send_event(Models *models, View *view, Input_Event *event){
|
|
|
|
b32 event_was_handled = false;
|
|
|
|
|
|
|
|
Coroutine *co = view->co;
|
|
|
|
Co_Out *co_out = &view->co_out;
|
|
|
|
Event_Property abort_flags = co_out->abort_flags;
|
|
|
|
Event_Property get_flags = co_out->get_flags|abort_flags;
|
|
|
|
|
|
|
|
Event_Property event_flags = get_event_properties(event);
|
|
|
|
if ((get_flags&event_flags) != 0){
|
2019-10-14 22:57:47 +00:00
|
|
|
models->current_input_unhandled = false;
|
2019-10-13 20:17:22 +00:00
|
|
|
Co_In in = {};
|
|
|
|
in.user_input.event = *event;
|
|
|
|
in.user_input.abort = ((abort_flags & event_flags) != 0);
|
2019-10-14 22:57:47 +00:00
|
|
|
begin_handling_input(models, &in.user_input);
|
2019-10-13 20:17:22 +00:00
|
|
|
view->co = co_run(models, Co_View, view->co, &in, &view->co_out);
|
|
|
|
view_check_co_exited(models, view);
|
|
|
|
if (!HasFlag(event_flags, EventProperty_Animate)){
|
|
|
|
models->animate_next_frame = true;
|
|
|
|
}
|
2019-10-14 22:57:47 +00:00
|
|
|
event_was_handled = !models->current_input_unhandled;
|
2019-10-13 20:17:22 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
return(event_was_handled);
|
|
|
|
}
|
|
|
|
|
|
|
|
function b32
|
2019-10-14 22:57:47 +00:00
|
|
|
co_send_core_event(Models *models, View *view, Core_Code code, String_Const_u8 string){
|
2019-10-13 20:17:22 +00:00
|
|
|
Input_Event event = {};
|
|
|
|
event.kind = InputEventKind_Core;
|
|
|
|
event.core.code = code;
|
2019-10-14 22:57:47 +00:00
|
|
|
event.core.string = string;
|
2019-10-13 20:17:22 +00:00
|
|
|
return(co_send_event(models, view, &event));
|
|
|
|
}
|
|
|
|
|
2019-10-14 22:57:47 +00:00
|
|
|
function b32
|
|
|
|
co_send_core_event(Models *models, View *view, Core_Code code, Buffer_ID id){
|
|
|
|
Input_Event event = {};
|
|
|
|
event.kind = InputEventKind_Core;
|
|
|
|
event.core.code = code;
|
|
|
|
event.core.id = id;
|
|
|
|
return(co_send_event(models, view, &event));
|
|
|
|
}
|
|
|
|
|
|
|
|
function b32
|
|
|
|
co_send_core_event(Models *models, View *view, Core_Code code){
|
|
|
|
return(co_send_core_event(models, view, code, SCu8()));
|
|
|
|
}
|
|
|
|
|
|
|
|
function b32
|
|
|
|
co_send_event(Models *models, Input_Event *event){
|
|
|
|
Panel *active_panel = models->layout.active_panel;
|
|
|
|
View *view = active_panel->view;
|
|
|
|
return(co_send_event(models, view, event));
|
|
|
|
}
|
|
|
|
|
|
|
|
function b32
|
|
|
|
co_send_core_event(Models *models, Core_Code code, String_Const_u8 string){
|
|
|
|
Panel *active_panel = models->layout.active_panel;
|
|
|
|
View *view = active_panel->view;
|
|
|
|
return(co_send_core_event(models, view, code, string));
|
|
|
|
}
|
|
|
|
|
|
|
|
function b32
|
|
|
|
co_send_core_event(Models *models, Core_Code code, Buffer_ID buffer_id){
|
|
|
|
Panel *active_panel = models->layout.active_panel;
|
|
|
|
View *view = active_panel->view;
|
|
|
|
return(co_send_core_event(models, view, code, buffer_id));
|
|
|
|
}
|
|
|
|
|
|
|
|
function b32
|
|
|
|
co_send_core_event(Models *models, Core_Code code){
|
|
|
|
return(co_send_core_event(models, code, SCu8()));
|
|
|
|
}
|
|
|
|
|
2018-03-26 05:19:08 +00:00
|
|
|
////////////////////////////////
|
|
|
|
|
2018-03-24 21:43:57 +00:00
|
|
|
internal b32
|
2019-02-05 09:13:38 +00:00
|
|
|
file_is_viewed(Layout *layout, Editing_File *file){
|
2018-03-24 21:43:57 +00:00
|
|
|
b32 is_viewed = false;
|
2019-02-05 09:13:38 +00:00
|
|
|
for (Panel *panel = layout_get_first_open_panel(layout);
|
|
|
|
panel != 0;
|
|
|
|
panel = layout_get_next_open_panel(layout, panel)){
|
2018-03-24 21:43:57 +00:00
|
|
|
View *view = panel->view;
|
2019-02-27 05:49:35 +00:00
|
|
|
if (view->file == file){
|
2018-03-24 21:43:57 +00:00
|
|
|
is_viewed = true;
|
|
|
|
break;
|
|
|
|
}
|
2018-03-24 10:06:45 +00:00
|
|
|
}
|
2018-03-24 21:43:57 +00:00
|
|
|
return(is_viewed);
|
|
|
|
}
|
|
|
|
|
|
|
|
internal void
|
2019-10-03 17:57:44 +00:00
|
|
|
adjust_views_looking_at_file_to_new_cursor(Models *models, Editing_File *file){
|
2019-02-05 09:13:38 +00:00
|
|
|
Layout *layout = &models->layout;
|
|
|
|
for (Panel *panel = layout_get_first_open_panel(layout);
|
|
|
|
panel != 0;
|
|
|
|
panel = layout_get_next_open_panel(layout, panel)){
|
2018-03-24 21:43:57 +00:00
|
|
|
View *view = panel->view;
|
2019-02-27 05:49:35 +00:00
|
|
|
if (view->file == file){
|
2019-02-10 00:20:55 +00:00
|
|
|
File_Edit_Positions edit_pos = view_get_edit_pos(view);
|
2019-09-02 18:59:36 +00:00
|
|
|
view_set_cursor(models, view, edit_pos.cursor_pos);
|
2018-03-24 10:06:45 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-03-25 06:43:56 +00:00
|
|
|
internal void
|
2019-10-03 17:57:44 +00:00
|
|
|
global_set_font_and_update_files(Models *models, Face *new_global_face){
|
2019-08-12 09:16:04 +00:00
|
|
|
for (Node *node = models->working_set.active_file_sentinel.next;
|
|
|
|
node != &models->working_set.active_file_sentinel;
|
2018-03-25 06:43:56 +00:00
|
|
|
node = node->next){
|
2019-01-31 12:38:24 +00:00
|
|
|
Editing_File *file = CastFromMember(Editing_File, main_chain_node, node);
|
2019-09-02 21:32:52 +00:00
|
|
|
file->settings.face_id = new_global_face->id;
|
2018-03-25 06:43:56 +00:00
|
|
|
}
|
2019-09-02 21:32:52 +00:00
|
|
|
models->global_face_id = new_global_face->id;
|
2018-03-25 06:43:56 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
internal b32
|
2019-10-03 17:57:44 +00:00
|
|
|
release_font_and_update(Models *models, Face *face, Face *replacement_face){
|
2018-03-25 06:43:56 +00:00
|
|
|
b32 success = false;
|
2019-09-02 21:32:52 +00:00
|
|
|
Assert(replacement_face != 0 && replacement_face != face);
|
|
|
|
if (font_set_release_face(&models->font_set, face->id)){
|
2019-08-12 09:16:04 +00:00
|
|
|
for (Node *node = models->working_set.active_file_sentinel.next;
|
|
|
|
node != &models->working_set.active_file_sentinel;
|
2018-03-25 06:43:56 +00:00
|
|
|
node = node->next){
|
2019-01-31 12:38:24 +00:00
|
|
|
Editing_File *file = CastFromMember(Editing_File, main_chain_node, node);
|
2019-09-02 21:32:52 +00:00
|
|
|
if (file->settings.face_id == face->id){
|
|
|
|
file->settings.face_id = replacement_face->id;
|
2018-03-25 06:43:56 +00:00
|
|
|
}
|
|
|
|
}
|
2019-09-02 21:32:52 +00:00
|
|
|
if (models->global_face_id == face->id){
|
|
|
|
models->global_face_id = replacement_face->id;
|
|
|
|
}
|
2019-07-24 07:41:40 +00:00
|
|
|
success = true;
|
2018-03-25 06:43:56 +00:00
|
|
|
}
|
|
|
|
return(success);
|
2018-03-24 10:06:45 +00:00
|
|
|
}
|
|
|
|
|
2018-03-26 05:19:08 +00:00
|
|
|
////////////////////////////////
|
|
|
|
|
2019-02-25 23:42:13 +00:00
|
|
|
internal argb_color
|
|
|
|
finalize_color(Color_Table color_table, int_color color){
|
|
|
|
argb_color color_argb = color;
|
|
|
|
if ((color & 0xFF000000) == 0){
|
|
|
|
color_argb = color_table.vals[color % color_table.count];
|
2019-01-25 21:03:52 +00:00
|
|
|
}
|
2019-02-25 23:42:13 +00:00
|
|
|
return(color_argb);
|
2019-01-25 21:03:52 +00:00
|
|
|
}
|
|
|
|
|
2019-09-02 18:59:36 +00:00
|
|
|
////////////////////////////////
|
|
|
|
|
|
|
|
internal View*
|
|
|
|
imp_get_view(Models *models, View_ID view_id){
|
|
|
|
Live_Views *live_set = &models->live_set;
|
|
|
|
View *view = 0;
|
|
|
|
view_id -= 1;
|
|
|
|
if (0 <= view_id && view_id < live_set->max){
|
|
|
|
view = live_set->views + view_id;
|
|
|
|
if (!view->in_use){
|
|
|
|
view = 0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return(view);
|
|
|
|
}
|
|
|
|
|
2017-07-17 23:35:13 +00:00
|
|
|
// BOTTOM
|
|
|
|
|