File tree
22 files changed
+75
-47
lines changed- docs/pages
- advanced_topics
- examples
- full-screen
- progress-bar
- src/prompt_toolkit
- contrib/regular_languages
- input
- layout
- lexers
- output
- tests
22 files changed
+75
-47
lines changedLines changed: 13 additions & 13 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
471 | 471 |
| |
472 | 472 |
| |
473 | 473 |
| |
474 |
| - | |
| 474 | + | |
475 | 475 |
| |
476 | 476 |
| |
477 | 477 |
| |
| |||
1141 | 1141 |
| |
1142 | 1142 |
| |
1143 | 1143 |
| |
1144 |
| - | |
| 1144 | + | |
1145 | 1145 |
| |
1146 | 1146 |
| |
1147 | 1147 |
| |
| |||
1162 | 1162 |
| |
1163 | 1163 |
| |
1164 | 1164 |
| |
1165 |
| - | |
| 1165 | + | |
1166 | 1166 |
| |
1167 | 1167 |
| |
1168 | 1168 |
| |
| |||
1175 | 1175 |
| |
1176 | 1176 |
| |
1177 | 1177 |
| |
1178 |
| - | |
| 1178 | + | |
1179 | 1179 |
| |
1180 | 1180 |
| |
1181 | 1181 |
| |
| |||
1327 | 1327 |
| |
1328 | 1328 |
| |
1329 | 1329 |
| |
1330 |
| - | |
| 1330 | + | |
1331 | 1331 |
| |
1332 | 1332 |
| |
1333 | 1333 |
| |
| |||
1344 | 1344 |
| |
1345 | 1345 |
| |
1346 | 1346 |
| |
1347 |
| - | |
1348 |
| - | |
| 1347 | + | |
| 1348 | + | |
1349 | 1349 |
| |
1350 | 1350 |
| |
1351 | 1351 |
| |
| |||
1403 | 1403 |
| |
1404 | 1404 |
| |
1405 | 1405 |
| |
1406 |
| - | |
| 1406 | + | |
1407 | 1407 |
| |
1408 | 1408 |
| |
1409 | 1409 |
| |
| |||
1421 | 1421 |
| |
1422 | 1422 |
| |
1423 | 1423 |
| |
1424 |
| - | |
| 1424 | + | |
1425 | 1425 |
| |
1426 | 1426 |
| |
1427 | 1427 |
| |
| |||
1672 | 1672 |
| |
1673 | 1673 |
| |
1674 | 1674 |
| |
1675 |
| - | |
| 1675 | + | |
1676 | 1676 |
| |
1677 | 1677 |
| |
1678 | 1678 |
| |
| |||
1738 | 1738 |
| |
1739 | 1739 |
| |
1740 | 1740 |
| |
1741 |
| - | |
| 1741 | + | |
1742 | 1742 |
| |
1743 | 1743 |
| |
1744 | 1744 |
| |
| |||
2033 | 2033 |
| |
2034 | 2034 |
| |
2035 | 2035 |
| |
2036 |
| - | |
| 2036 | + | |
2037 | 2037 |
| |
2038 | 2038 |
| |
2039 | 2039 |
| |
| |||
2108 | 2108 |
| |
2109 | 2109 |
| |
2110 | 2110 |
| |
2111 |
| - | |
| 2111 | + | |
2112 | 2112 |
| |
2113 | 2113 |
| |
2114 | 2114 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
37 | 37 |
| |
38 | 38 |
| |
39 | 39 |
| |
40 |
| - | |
| 40 | + | |
41 | 41 |
| |
42 | 42 |
| |
43 | 43 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
33 | 33 |
| |
34 | 34 |
| |
35 | 35 |
| |
36 |
| - | |
| 36 | + | |
37 | 37 |
| |
38 | 38 |
| |
39 | 39 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
656 | 656 |
| |
657 | 657 |
| |
658 | 658 |
| |
659 |
| - | |
| 659 | + | |
660 | 660 |
| |
661 | 661 |
| |
662 | 662 |
| |
| |||
706 | 706 |
| |
707 | 707 |
| |
708 | 708 |
| |
709 |
| - | |
| 709 | + | |
710 | 710 |
| |
711 | 711 |
| |
712 | 712 |
| |
|
Lines changed: 4 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
385 | 385 |
| |
386 | 386 |
| |
387 | 387 |
| |
388 |
| - | |
| 388 | + | |
389 | 389 |
| |
390 | 390 |
| |
391 | 391 |
| |
| |||
410 | 410 |
| |
411 | 411 |
| |
412 | 412 |
| |
413 |
| - | |
| 413 | + | |
414 | 414 |
| |
415 |
| - | |
| 415 | + | |
416 | 416 |
| |
417 |
| - | |
| 417 | + | |
418 | 418 |
| |
419 | 419 |
| |
420 | 420 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
21 | 21 |
| |
22 | 22 |
| |
23 | 23 |
| |
24 |
| - | |
| 24 | + | |
25 | 25 |
| |
26 | 26 |
| |
27 | 27 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
127 | 127 |
| |
128 | 128 |
| |
129 | 129 |
| |
130 |
| - | |
| 130 | + | |
131 | 131 |
| |
132 | 132 |
| |
133 | 133 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
94 | 94 |
| |
95 | 95 |
| |
96 | 96 |
| |
97 |
| - | |
| 97 | + | |
98 | 98 |
| |
99 | 99 |
| |
100 | 100 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
| 3 | + | |
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
|
Lines changed: 28 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
36 | 36 |
| |
37 | 37 |
| |
38 | 38 |
| |
| 39 | + | |
| 40 | + | |
| 41 | + | |
| 42 | + | |
| 43 | + | |
| 44 | + | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
| 55 | + | |
| 56 | + | |
| 57 | + | |
| 58 | + | |
| 59 | + | |
| 60 | + | |
| 61 | + | |
| 62 | + | |
| 63 | + | |
| 64 | + | |
| 65 | + | |
| 66 | + |
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
30 | 30 |
| |
31 | 31 |
| |
32 | 32 |
| |
33 |
| - | |
| 33 | + | |
34 | 34 |
| |
35 | 35 |
| |
36 | 36 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
26 | 26 |
| |
27 | 27 |
| |
28 | 28 |
| |
29 |
| - | |
| 29 | + | |
30 | 30 |
| |
31 | 31 |
| |
32 | 32 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2050 | 2050 |
| |
2051 | 2051 |
| |
2052 | 2052 |
| |
2053 |
| - | |
| 2053 | + | |
2054 | 2054 |
| |
2055 | 2055 |
| |
2056 | 2056 |
| |
| |||
2537 | 2537 |
| |
2538 | 2538 |
| |
2539 | 2539 |
| |
2540 |
| - | |
| 2540 | + | |
2541 | 2541 |
| |
2542 | 2542 |
| |
2543 | 2543 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
491 | 491 |
| |
492 | 492 |
| |
493 | 493 |
| |
494 |
| - | |
| 494 | + | |
495 | 495 |
| |
496 | 496 |
| |
497 | 497 |
| |
| |||
603 | 603 |
| |
604 | 604 |
| |
605 | 605 |
| |
606 |
| - | |
| 606 | + | |
607 | 607 |
| |
608 | 608 |
| |
609 | 609 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
679 | 679 |
| |
680 | 680 |
| |
681 | 681 |
| |
682 |
| - | |
| 682 | + | |
683 | 683 |
| |
684 | 684 |
| |
685 | 685 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
288 | 288 |
| |
289 | 289 |
| |
290 | 290 |
| |
291 |
| - | |
| 291 | + | |
292 | 292 |
| |
293 | 293 |
| |
294 | 294 |
| |
|
Lines changed: 9 additions & 9 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
31 | 31 |
| |
32 | 32 |
| |
33 | 33 |
| |
34 |
| - | |
| 34 | + | |
35 | 35 |
| |
36 | 36 |
| |
37 | 37 |
| |
| |||
67 | 67 |
| |
68 | 68 |
| |
69 | 69 |
| |
70 |
| - | |
| 70 | + | |
71 | 71 |
| |
72 | 72 |
| |
73 | 73 |
| |
74 | 74 |
| |
75 |
| - | |
| 75 | + | |
76 | 76 |
| |
77 | 77 |
| |
78 | 78 |
| |
| |||
88 | 88 |
| |
89 | 89 |
| |
90 | 90 |
| |
91 |
| - | |
| 91 | + | |
92 | 92 |
| |
93 | 93 |
| |
94 | 94 |
| |
95 | 95 |
| |
96 | 96 |
| |
97 |
| - | |
| 97 | + | |
98 | 98 |
| |
99 | 99 |
| |
100 | 100 |
| |
| |||
228 | 228 |
| |
229 | 229 |
| |
230 | 230 |
| |
231 |
| - | |
| 231 | + | |
232 | 232 |
| |
233 | 233 |
| |
234 | 234 |
| |
| |||
271 | 271 |
| |
272 | 272 |
| |
273 | 273 |
| |
274 |
| - | |
| 274 | + | |
275 | 275 |
| |
276 | 276 |
| |
277 | 277 |
| |
| |||
291 | 291 |
| |
292 | 292 |
| |
293 | 293 |
| |
294 |
| - | |
| 294 | + | |
295 | 295 |
| |
296 | 296 |
| |
297 | 297 |
| |
| |||
316 | 316 |
| |
317 | 317 |
| |
318 | 318 |
| |
319 |
| - | |
| 319 | + | |
320 | 320 |
| |
321 | 321 |
| |
322 | 322 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
66 | 66 |
| |
67 | 67 |
| |
68 | 68 |
| |
69 |
| - | |
| 69 | + | |
70 | 70 |
| |
71 | 71 |
| |
72 | 72 |
| |
|
0 commit comments