mp_edit.mpsl

   1 /*
   2
   3     Minimum Profit 5.x
   4     A Programmer's Text Editor
   5
   6     Editing.
   7
   8     Copyright (C) 1991-2009 Angel Ortega <angel@triptico.com>
   9
  10     This program is free software; you can redistribute it and/or
  11     modify it under the terms of the GNU General Public License
  12     as published by the Free Software Foundation; either version 2
  13     of the License, or (at your option) any later version.
  14
  15     This program is distributed in the hope that it will be useful,
  16     but WITHOUT ANY WARRANTY; without even the implied warranty of
  17     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  18     GNU General Public License for more details.
  19
  20     You should have received a copy of the GNU General Public License
  21     along with this program; if not, write to the Free Software
  22     Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
  23
  24     http://www.triptico.com
  25
  26 */
  27
  28
  29 /** editor actions **/
  30
  31 mp.actions['insert_line']       = sub (d) {
  32         mp.store_undo(d);
  33         mp.insert_newline(d);
  34
  35         if (d.syntax == NULL) mp.detect_syntax(d);
  36 };
  37
  38 mp.actions['delete_line']       = sub (d) { mp.store_undo(d); mp.delete_line(d); };
  39 mp.actions['insert_space']      = sub (d) { mp.store_undo(d); mp.insert_space(d); };
  40 mp.actions['insert_tab']        = sub (d) { mp.store_undo(d); mp.insert_tab(d); };
  41 mp.actions['delete']            = sub (d) { mp.store_undo(d); mp.delete_char(d); };
  42 mp.actions['delete_left']       = sub (d) { mp.store_undo(d); mp.move_left(d) &&
  43                                         mp.delete_char(d); };
  44 mp.actions['undo']              = sub (d) { mp.undo(d); };
  45 mp.actions['redo']              = sub (d) { mp.redo(d); };
  46 mp.actions['join_paragraph']    = sub (d) { mp.store_undo(d); mp.join_paragraph(d); };
  47
  48 mp.actions['word_wrap_paragraph'] = sub (d) {
  49
  50         if(mp.config.word_wrap == 0)
  51                 mp.alert(L("Word wrapping must be set"));
  52         else {
  53                 mp.store_undo(d);
  54                 mp.word_wrap_paragraph(d);
  55         }
  56 };
  57
  58 mp.actions['line_options']      = sub (d) {
  59
  60         /* convert special characters on end of line */
  61         local lt = mp.backslash_codes(mp.config.eol, 1);
  62
  63         local t = mp.form( [
  64                 { 'label'       => L("Word wrap on column (0, no word wrap):"),
  65                   'type'        => 'text',
  66                   'value'       => mp.config.word_wrap,
  67                   'history'     => 'wordwrap' },
  68                 { 'label'       => L("Automatic indentation") ~ ':',
  69                   'type'        => 'checkbox',
  70                   'value'       => mp.config.auto_indent },
  71                 { 'label'       => L("Line termination") ~ ':',
  72                   'value'       => lt,
  73                   'type'        => 'text' },
  74                 { 'label'       => L("Keep original end of lines") ~ ':',
  75                   'value'       => mp.config.keep_eol,
  76                   'type'        => 'checkbox' },
  77                 { 'label'       => L("Mark end of lines") ~ ':',
  78                   'value'       => mp.config.mark_eol,
  79                   'type'        => 'checkbox' }
  80         ] );
  81
  82         if (t != NULL) {
  83                 mp.config.word_wrap = t[0];
  84                 mp.config.auto_indent = t[1];
  85                 mp.config.eol = mp.backslash_codes(t[2], 0);
  86                 mp.config.keep_eol = t[3];
  87                 mp.config.mark_eol = t[4];
  88         }
  89 };
  90
  91 mp.actions['tab_options']       = sub (d) {
  92
  93         local t = mp.form( [
  94                 { 'label'       => L("Tab size") ~ ':',
  95                   'type'        => 'text',
  96                   'value'       => mp.config.tab_size,
  97                   'history'     => 'tabsize' },
  98                 { 'label'       => L("Convert tabs to spaces") ~ ':',
  99                   'type'        => 'checkbox',
 100                   'value'       => mp.config.tabs_as_spaces }
 101         ] );
 102
 103         if (t != NULL) {
 104                 mp.config.tab_size = t[0];
 105                 mp.config.tabs_as_spaces = t[1];
 106         }
 107 };
 108
 109 /** default key bindings **/
 110
 111 mp.keycodes['enter']    = "insert_line";
 112 mp.keycodes['tab']      = "insert_tab";
 113 mp.keycodes['space']    = "insert_space";
 114 mp.keycodes['delete']   = "delete";
 115 mp.keycodes['backspace']= "delete_left";
 116 mp.keycodes['ctrl-i']   = "insert_tab";
 117 mp.keycodes['ctrl-m']   = "insert_line";
 118 mp.keycodes['ctrl-y']   = "delete_line";
 119 mp.keycodes['ctrl-z']   = "undo";
 120 mp.keycodes['f4']       = "word_wrap_paragraph";
 121
 122 /** action descriptions **/
 123
 124 mp.actdesc['insert_line']       = LL("Insert line");
 125 mp.actdesc['delete_line']       = LL("Delete line");
 126 mp.actdesc['insert_space']      = LL("Insert space");
 127 mp.actdesc['insert_tab']        = LL("Insert tab");
 128 mp.actdesc['delete']            = LL("Delete character");
 129 mp.actdesc['delete_left']       = LL("Delete character to the left");
 130 mp.actdesc['undo']              = LL("Undo");
 131 mp.actdesc['redo']              = LL("Redo");
 132 mp.actdesc['join_paragraph']    = LL("Join a paragraph in one line");
 133 mp.actdesc['word_wrap_paragraph'] = LL("Word-wrap a paragraph");
 134 mp.actdesc['line_options']      = LL("Line options...");
 135 mp.actdesc['tab_options']       = LL("Tab options...");
 136
 137 /** code **/
 138
 139 /**
 140  * mp.break_line - Breaks current line in two (inserts a newline).
 141  * @doc: the document
 142  * @col: column where the newline will be inserted
 143  *
 144  * Breaks current line in two by inserting a newline character in between.
 145  * If @col is not NULL, the newline will be inserted in that column; otherwise,
 146  * the current x position will be used.
 147  */
 148 sub mp.break_line(doc, col)
 149 {
 150         local txt = doc.txt;
 151         local c, w;
 152
 153         /* if col is NULL, set it to be the x cursor */
 154         if (col == NULL)
 155                 col = txt.x;
 156
 157         /* gets line where cursor is */
 158         c = txt.lines[txt.y];
 159
 160         /* deletes from col to the end of line */
 161         w = splice(c, NULL, col, -1);
 162
 163         /* set first part as current line */
 164         txt.lines[txt.y] = w[0];
 165
 166         /* move to next line */
 167         txt.y++;
 168
 169         /* insert a new line here */
 170         expand(txt.lines, txt.y, 1);
 171
 172         /* fix the x cursor position */
 173         txt.x -= col;
 174
 175         /* if autoindenting... */
 176         if (mp.config.auto_indent) {
 177                 /* extract leading blanks in the original line
 178                    to prepend them to the line to be inserted */
 179                 local i = regex("/^[ \t]*[-\+\*]?[ \t]+/", c, 0);
 180
 181                 /* substitute all non-tab characters with spaces */
 182                 i = sregex("/[^\t]/g", i, " ");
 183
 184                 /* delete any blank in the new line */
 185                 w[1] = sregex("/^[ \t]*/", w[1]);
 186
 187                 /* concatenate */
 188                 w[1] = i ~ w[1];
 189
 190                 /* the x position is further the length of that */
 191                 txt.x += size(i);
 192         }
 193
 194         /* put second part there (or an empty string if NULL) */
 195         txt.lines[txt.y] = w[1] || '';
 196
 197         txt.mod++;
 198 }
 199
 200
 201 sub mp.join_line(doc)
 202 /* joins the current line with the next one */
 203 {
 204         local txt = doc.txt;
 205
 206         if (txt.y < size(txt.lines)) {
 207                 /* concats current line with the next one */
 208                 txt.lines[txt.y] = txt.lines[txt.y] ~ txt.lines[txt.y + 1];
 209
 210                 /* delete it */
 211                 adel(txt.lines, txt.y + 1);
 212
 213                 txt.mod++;
 214         }
 215 }
 216
 217
 218 sub mp.delete_line(doc)
 219 /* deletes the current line */
 220 {
 221         local txt = doc.txt;
 222         local vx;
 223
 224         /* take current position */
 225         vx = mp.x2vx(txt.lines[txt.y], txt.x);
 226
 227         /* if it's the only line, just replace it */
 228         if (size(txt.lines) == 1)
 229                 txt.lines[0] = '';
 230         else {
 231                 /* destroy the line */
 232                 adel(txt.lines, txt.y);
 233         }
 234
 235         /* fix if it was the last line */
 236         if (txt.y >= size(txt.lines))
 237                 txt.y = size(txt.lines) - 1;
 238
 239         /* move to previous x position */
 240         txt.x = mp.vx2x(txt.lines[txt.y], vx);
 241
 242         txt.mod++;
 243 }
 244
 245
 246 sub mp.delete_char(doc)
 247 /* deletes the current char */
 248 {
 249         local txt = doc.txt;
 250
 251         /* is it over the end of line? */
 252         if (txt.x == size(txt.lines[txt.y]))
 253                 mp.join_line(doc);
 254         else {
 255                 local w;
 256
 257                 w = splice(txt.lines[txt.y], NULL, txt.x, 1);
 258                 txt.lines[txt.y] = w[0];
 259         }
 260
 261         txt.mod++;
 262 }
 263
 264
 265 sub mp.delete_range(doc, bx, by, ex, ey, v)
 266 /* deletes a range of characters from a document */
 267 {
 268         local txt = doc.txt;
 269
 270         /* move to the start of the range */
 271         txt.x = bx;
 272         txt.y = by;
 273
 274         if (by == ey) {
 275                 local w;
 276
 277                 /* block is just one line; delete the middle part */
 278                 w = splice(txt.lines[by], NULL, bx, ex - bx);
 279
 280                 txt.lines[by] = w[0];
 281         }
 282         else {
 283                 /* block has more than one line */
 284                 local w;
 285
 286                 if (v == 0) {
 287                         /* delete using normal selection block */
 288
 289                         /* delete from the beginning to the end of the first line */
 290                         w = splice(txt.lines[by], NULL, bx, -1);
 291                         txt.lines[by] = w[0];
 292
 293                         /* delete from the beginning of the last line to
 294                            the end of the block */
 295                         w = splice(txt.lines[ey], NULL, 0, ex);
 296                         txt.lines[ey] = w[0];
 297
 298                         /* collapse the lines in between */
 299                         collapse(txt.lines, by + 1, ey - by - 1);
 300
 301                         /* finally join both lines */
 302                         mp.join_line(doc);
 303                 }
 304                 else {
 305                         /* delete using vertical selection block */
 306                         while (by <= ey) {
 307                                 w = splice(txt.lines[by], NULL, bx, ex - bx);
 308                                 txt.lines[by] = w[0];
 309                                 by++;
 310                         }
 311                 }
 312         }
 313
 314         txt.mod++;
 315 }
 316
 317
 318 sub mp.insert_string(doc, str)
 319 /* inserts a string into the cursor position */
 320 {
 321         local txt = doc.txt;
 322         local w;
 323
 324         /* splice and change */
 325         w = splice(txt.lines[txt.y], str, txt.x, 0);
 326         txt.lines[txt.y] = w[0];
 327
 328         /* move right */
 329         txt.x += size(str);
 330
 331         txt.mod++;
 332 }
 333
 334
 335 sub mp.insert(doc, a)
 336 /* inserts an array of text into a document */
 337 {
 338         local txt = doc.txt;
 339         local s;
 340
 341         /* if a is not an array, split it */
 342         if (!is_array(a))
 343                 a = split("\n", a);
 344
 345         /* empty array? return */
 346         if ((s = size(a)) == 0)
 347                 return;
 348
 349         /* paste first line into current position */
 350         mp.insert_string(doc, a[0]);
 351
 352         /* more than just one line? */
 353         if (s > 1) {
 354                 /* break current line in two */
 355                 mp.break_line(doc);
 356
 357                 /* insert last line */
 358                 mp.insert_string(doc, a[s - 1]);
 359         }
 360
 361         /* more than two lines? */
 362         if (s > 2) {
 363                 local n = 1;
 364
 365                 /* open room */
 366                 expand(txt.lines, txt.y, s - 2);
 367
 368                 /* transfer middle lines */
 369                 while (n < s - 1)
 370                         txt.lines[txt.y++] = a[n++];
 371         }
 372 }
 373
 374
 375 sub mp.wrap_words(doc)
 376 /* do the word wrapping */
 377 {
 378         local txt = doc.txt;
 379
 380         if (mp.config.word_wrap == 0)
 381                 return;
 382
 383         /* take the column where the cursor is */
 384         local c = mp.x2vx(txt.lines[txt.y], txt.x);
 385
 386         if (c >= mp.config.word_wrap &&
 387                 regex("/^.{1," ~ mp.config.word_wrap ~ "}[ \t]/", txt.lines[txt.y])) {
 388                 local w;
 389
 390                 /* take the coordinates */
 391                 w = regex();
 392
 393                 /* break the line there */
 394                 mp.break_line(doc, w[1]);
 395
 396                 /* delete the space at the end of the line */
 397                 txt.lines[txt.y - 1] = sregex("/[ \t]$/", txt.lines[txt.y - 1], NULL);
 398         }
 399 }
 400
 401
 402 sub mp.insert_space(doc)
 403 /* inserts a space, taking wordwrapping into account */
 404 {
 405         local txt = doc.txt;
 406
 407         mp.wrap_words(doc);
 408         mp.insert(doc, ' ');
 409 }
 410
 411
 412 sub mp.insert_tab(doc)
 413 /* inserts a tab */
 414 {
 415         if (mp.config.tabs_as_spaces) {
 416                 /* number of spaces to insert */
 417                 local n = mp.config.tab_size -
 418                         ((doc.txt.x) % mp.config.tab_size);
 419
 420                 while(n--) mp.insert(doc, ' ');
 421         }
 422         else
 423                 mp.insert(doc, "\t");
 424 }
 425
 426
 427 sub mp.insert_newline(doc)
 428 /* inserts a newline */
 429 {
 430         mp.wrap_words(doc);
 431         mp.break_line(doc);
 432 }
 433
 434
 435 sub mp.insert_keystroke(doc, key)
 436 /* inserts from a keystroke (with undo) */
 437 {
 438         if (size(key) == 1) {
 439                 mp.store_undo(doc);
 440
 441                 mp.insert(doc, key);
 442         }
 443         else
 444         if (key != NULL) {
 445                 mp.message = {
 446                         'timeout'       => time() + 2,
 447                         'string'        => sprintf(L("Unbound keystroke '%s'"), key)
 448                 };
 449         }
 450 }
 451
 452
 453 /** undo **/
 454
 455 sub mp.store_undo(doc)
 456 /* stores the current txt in the undo queue */
 457 {
 458         queue(doc.undo, clone(doc.txt), mp.config.undo_levels);
 459         doc.redo = [];
 460 }
 461
 462
 463 sub mp.undo(doc)
 464 /* undoes last operation */
 465 {
 466         local txt;
 467
 468         if (txt = pop(doc.undo)) {
 469                 queue(doc.redo, clone(doc.txt), mp.config.undo_levels);
 470                 doc.txt = txt;
 471         }
 472 }
 473
 474
 475 sub mp.redo(doc)
 476 /* redoes last undid operation */
 477 {
 478         local txt;
 479
 480         if (txt = pop(doc.redo)) {
 481                 queue(doc.undo, clone(doc.txt), mp.config.undo_levels);
 482                 doc.txt = txt;
 483         }
 484 }
 485
 486 /** paragraphs **/
 487
 488 sub mp.join_paragraph(doc)
 489 /* joins current paragraph in just one line */
 490 {
 491         local txt = doc.txt;
 492         local l;
 493
 494         while ((l = txt.lines[txt.y + 1]) && size(l)) {
 495                 /* delete all leading blanks in the next line */
 496                 txt.lines[txt.y + 1] = sregex("/^[ \t]+/", txt.lines[txt.y + 1]);
 497
 498                 /* move to end of line and add a space separator */
 499                 mp.move_eol(doc);
 500                 mp.insert(doc, ' ');
 501
 502                 /* really join */
 503                 mp.join_line(doc);
 504         }
 505 }
 506
 507
 508 sub mp.word_wrap_paragraph(doc)
 509 /* word wraps current paragraph */
 510 {
 511         local txt = doc.txt;
 512
 513         if (mp.config.word_wrap == 0)
 514                 return;
 515
 516         mp.join_paragraph(doc);
 517
 518         mp.move_eol(doc);
 519
 520         while (size(txt.lines[txt.y]) > mp.config.word_wrap) {
 521                 mp.insert_space(doc);
 522                 mp.move_left(doc);
 523                 mp.delete_char(doc);
 524         }
 525 }