enso/gui/lib
Adam Obuchowicz ebe9db1b74 Implemented newlines (https://github.com/enso-org/ide/pull/67)
TextComponent will properly display text containing newline characters.

Code of the TextComponent was somewhat prepared for optimal clipping text and scrolling; each line of text have an own fixed-size buffer fragment, so the lines should be easily extended and fragments reused.

Original commit: 647430f1d8
2019-12-09 14:24:21 +01:00
..
backend/webgl Buffer Management for BaseGL (https://github.com/enso-org/ide/pull/51) 2019-11-27 18:04:33 +01:00
core Implemented newlines (https://github.com/enso-org/ide/pull/67) 2019-12-09 14:24:21 +01:00
eval-tt Buffer Management for BaseGL (https://github.com/enso-org/ide/pull/51) 2019-11-27 18:04:33 +01:00
optics Buffer Management for BaseGL (https://github.com/enso-org/ide/pull/51) 2019-11-27 18:04:33 +01:00
prelude Implemented newlines (https://github.com/enso-org/ide/pull/67) 2019-12-09 14:24:21 +01:00
shapely Buffer Management for BaseGL (https://github.com/enso-org/ide/pull/51) 2019-11-27 18:04:33 +01:00
system/web HTMLRenderer Benchmarks (https://github.com/enso-org/ide/pull/58) 2019-12-06 13:11:17 -03:00
web-test HTMLRenderer Benchmarks (https://github.com/enso-org/ide/pull/58) 2019-12-06 13:11:17 -03:00
web-test-proc-macro HTMLRenderer Benchmarks (https://github.com/enso-org/ide/pull/58) 2019-12-06 13:11:17 -03:00