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