2017-01-29 00:03:23 +00:00
/*
4 coder_clipboard . cpp - Copy paste commands and clipboard related setup .
*/
// TOP
2019-02-26 23:08:42 +00:00
static b32
2019-06-20 23:43:27 +00:00
clipboard_post_buffer_range ( Application_Links * app , i32 clipboard_index , Buffer_ID buffer , Range_i64 range ) {
2019-02-26 23:08:42 +00:00
b32 success = false ;
2019-06-20 23:43:27 +00:00
Scratch_Block scratch ( app ) ;
String_Const_u8 string = push_buffer_range ( app , scratch , buffer , range ) ;
if ( string . size > 0 ) {
clipboard_post ( app , clipboard_index , string ) ;
success = true ;
2017-01-29 00:03:23 +00:00
}
2018-05-09 18:58:21 +00:00
return ( success ) ;
2017-01-29 00:03:23 +00:00
}
2017-11-15 23:57:21 +00:00
CUSTOM_COMMAND_SIG ( copy )
CUSTOM_DOC ( " Copy the text in the range from the cursor to the mark onto the clipboard. " )
{
2019-10-18 02:54:02 +00:00
View_ID view = get_active_view ( app , Access_ReadVisible ) ;
Buffer_ID buffer = view_get_buffer ( app , view , Access_ReadVisible ) ;
2019-06-20 23:43:27 +00:00
Range_i64 range = get_view_range ( app , view ) ;
clipboard_post_buffer_range ( app , 0 , buffer , range ) ;
2017-01-29 00:03:23 +00:00
}
2017-11-15 23:57:21 +00:00
CUSTOM_COMMAND_SIG ( cut )
CUSTOM_DOC ( " Cut the text in the range from the cursor to the mark onto the clipboard. " )
{
2019-10-18 02:54:02 +00:00
View_ID view = get_active_view ( app , Access_ReadWriteVisible ) ;
Buffer_ID buffer = view_get_buffer ( app , view , Access_ReadWriteVisible ) ;
2019-06-20 23:43:27 +00:00
Range_i64 range = get_view_range ( app , view ) ;
if ( clipboard_post_buffer_range ( app , 0 , buffer , range ) ) {
buffer_replace_range ( app , buffer , range , string_u8_empty ) ;
2018-05-09 18:58:21 +00:00
}
2017-01-29 00:03:23 +00:00
}
2017-11-15 23:57:21 +00:00
CUSTOM_COMMAND_SIG ( paste )
CUSTOM_DOC ( " At the cursor, insert the text at the top of the clipboard. " )
{
2019-06-19 02:31:59 +00:00
i32 count = clipboard_count ( app , 0 ) ;
2017-01-29 00:03:23 +00:00
if ( count > 0 ) {
2019-10-18 02:54:02 +00:00
View_ID view = get_active_view ( app , Access_ReadWriteVisible ) ;
2019-04-06 21:13:49 +00:00
if_view_has_highlighted_range_delete_range ( app , view ) ;
2018-09-30 12:14:47 +00:00
2019-06-20 04:45:58 +00:00
Managed_Scope scope = view_get_managed_scope ( app , view ) ;
2019-10-06 05:00:46 +00:00
Rewrite_Type * next_rewrite = scope_attachment ( app , scope , view_next_rewrite_loc , Rewrite_Type ) ;
* next_rewrite = Rewrite_Paste ;
2019-09-04 05:31:35 +00:00
i32 * paste_index = scope_attachment ( app , scope , view_paste_index_loc , i32 ) ;
* paste_index = 0 ;
2017-01-29 00:03:23 +00:00
2019-06-01 23:58:28 +00:00
Scratch_Block scratch ( app ) ;
2017-01-29 00:03:23 +00:00
2019-09-04 05:31:35 +00:00
String_Const_u8 string = push_clipboard_index ( app , scratch , 0 , * paste_index ) ;
2019-06-01 23:58:28 +00:00
if ( string . size > 0 ) {
2019-10-18 02:54:02 +00:00
Buffer_ID buffer = view_get_buffer ( app , view , Access_ReadWriteVisible ) ;
2019-04-05 02:03:36 +00:00
2019-06-20 23:43:27 +00:00
i64 pos = view_get_cursor_pos ( app , view ) ;
buffer_replace_range ( app , buffer , Ii64 ( pos ) , string ) ;
2019-04-06 21:13:49 +00:00
view_set_mark ( app , view , seek_pos ( pos ) ) ;
2019-09-02 21:32:52 +00:00
view_set_cursor_and_preferred_x ( app , view , seek_pos ( pos + ( i32 ) string . size ) ) ;
2017-01-29 00:03:23 +00:00
// TODO(allen): Send this to all views.
2019-10-23 01:25:40 +00:00
view_post_fade ( app , view , 0.667f , Ii64_size ( pos , string . size ) ,
fcolor_id ( Stag_Paste ) ) ;
2017-01-29 00:03:23 +00:00
}
}
}
2017-11-15 23:57:21 +00:00
CUSTOM_COMMAND_SIG ( paste_next )
CUSTOM_DOC ( " If the previous command was paste or paste_next, replaces the paste range with the next text down on the clipboard, otherwise operates as the paste command. " )
{
2019-06-01 23:58:28 +00:00
Scratch_Block scratch ( app ) ;
2019-06-19 02:31:59 +00:00
i32 count = clipboard_count ( app , 0 ) ;
2017-01-29 00:03:23 +00:00
if ( count > 0 ) {
2019-10-18 02:54:02 +00:00
View_ID view = get_active_view ( app , Access_ReadWriteVisible ) ;
2019-06-20 04:45:58 +00:00
Managed_Scope scope = view_get_managed_scope ( app , view ) ;
2018-09-30 12:14:47 +00:00
no_mark_snap_to_cursor ( app , scope ) ;
2017-01-29 00:03:23 +00:00
2019-10-08 01:08:42 +00:00
Rewrite_Type * rewrite = scope_attachment ( app , scope , view_rewrite_loc , Rewrite_Type ) ;
2019-09-04 05:31:35 +00:00
if ( * rewrite = = Rewrite_Paste ) {
2019-10-06 05:00:46 +00:00
Rewrite_Type * next_rewrite = scope_attachment ( app , scope , view_next_rewrite_loc , Rewrite_Type ) ;
* next_rewrite = Rewrite_Paste ;
2019-09-04 05:31:35 +00:00
i32 * paste_index_ptr = scope_attachment ( app , scope , view_paste_index_loc , i32 ) ;
i32 paste_index = ( * paste_index_ptr ) + 1 ;
* paste_index_ptr = paste_index ;
2017-01-29 00:03:23 +00:00
2019-06-19 02:31:59 +00:00
String_Const_u8 string = push_clipboard_index ( app , scratch , 0 , paste_index ) ;
2019-06-01 23:58:28 +00:00
2019-10-18 02:54:02 +00:00
Buffer_ID buffer = view_get_buffer ( app , view , Access_ReadWriteVisible ) ;
2019-06-01 23:58:28 +00:00
2019-06-20 23:43:27 +00:00
Range_i64 range = get_view_range ( app , view ) ;
i64 pos = range . min ;
2017-01-29 00:03:23 +00:00
2019-06-01 23:58:28 +00:00
buffer_replace_range ( app , buffer , range , string ) ;
2019-09-02 21:32:52 +00:00
view_set_cursor_and_preferred_x ( app , view , seek_pos ( pos + string . size ) ) ;
2019-06-01 23:58:28 +00:00
// TODO(allen): Send this to all views.
2019-10-23 01:25:40 +00:00
view_post_fade ( app , view , 0.667f , Ii64_size ( pos , string . size ) ,
fcolor_id ( Stag_Paste ) ) ;
2017-01-29 00:03:23 +00:00
}
else {
2019-10-10 18:21:47 +00:00
paste ( app ) ;
2017-01-29 00:03:23 +00:00
}
}
}
2018-05-10 08:12:47 +00:00
CUSTOM_COMMAND_SIG ( paste_and_indent )
CUSTOM_DOC ( " Paste from the top of clipboard and run auto-indent on the newly pasted text. " )
{
paste ( app ) ;
2019-10-10 18:21:47 +00:00
auto_indent_range ( app ) ;
2018-05-10 08:12:47 +00:00
}
CUSTOM_COMMAND_SIG ( paste_next_and_indent )
CUSTOM_DOC ( " Paste the next item on the clipboard and run auto-indent on the newly pasted text. " )
{
paste_next ( app ) ;
2019-10-10 18:21:47 +00:00
auto_indent_range ( app ) ;
2018-05-10 08:12:47 +00:00
}
2017-01-29 00:03:23 +00:00
// BOTTOM