diff options
| author | Kartik Agaram <vc@akkartik.com> | 2020-06-07 23:50:28 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2020-06-07 23:50:28 -0700 |
| commit | 8093143f04c56729a6a11edddbea607dfe8cee2a (patch) | |
| tree | 903b8791fd4703fc1552a5c4472e52d06c246c5e /prototypes | |
| parent | 73b7be20eb27b6690425bc370922687d4d18f963 (diff) | |
| download | mu-8093143f04c56729a6a11edddbea607dfe8cee2a.tar.gz | |
6501
Bugfix in support for CRLF line-endings.
Diffstat (limited to 'prototypes')
| -rw-r--r-- | prototypes/browse/28/main.mu | 2 | ||||
| -rw-r--r-- | prototypes/browse/29/main.mu | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/prototypes/browse/28/main.mu b/prototypes/browse/28/main.mu index 613e8aba..0f7458e6 100644 --- a/prototypes/browse/28/main.mu +++ b/prototypes/browse/28/main.mu @@ -80,7 +80,7 @@ $render-normal:loop-body: { start-of-paragraph? <- copy 0 # false # if c is unprintable (particularly a '\r' CR), skip it compare c, 0x20 - loop-if-< + loop-if-< $render-normal:loop # If there's a newline buffered and c is a space, print the buffered # newline (hard newline). # If there's a newline buffered and c is not a newline or space, print a diff --git a/prototypes/browse/29/main.mu b/prototypes/browse/29/main.mu index e84c4176..ea9cdf02 100644 --- a/prototypes/browse/29/main.mu +++ b/prototypes/browse/29/main.mu @@ -80,7 +80,7 @@ $render-normal:loop-body: { start-of-paragraph? <- copy 0 # false # if c is unprintable (particularly a '\r' CR), skip it compare c, 0x20 - loop-if-< + loop-if-< $render-normal:loop # If there's a newline buffered and c is a space, print the buffered # newline (hard newline). # If there's a newline buffered and c is not a newline or space, print a |