mirror of
https://github.com/NoRedInk/noredink-ui.git
synced 2024-11-23 16:32:11 +03:00
remove empty segments
This commit is contained in:
parent
21a3b0ff20
commit
d783f5978e
@ -382,7 +382,7 @@ keyboardEventToActions msg model =
|
||||
)
|
||||
|
||||
SelectionExpandRight index ->
|
||||
case previousInteractiveIndex index model.highlightables of
|
||||
case nextInteractiveIndex index model.highlightables of
|
||||
Nothing ->
|
||||
[]
|
||||
|
||||
|
@ -227,7 +227,7 @@ initHighlighter settings previousHighlightables =
|
||||
if settings.splitOnSentences then
|
||||
let
|
||||
segments =
|
||||
String.split "." CommonControls.romeoAndJulietQuotation
|
||||
String.split "." (String.dropRight 1 CommonControls.romeoAndJulietQuotation)
|
||||
|
||||
segmentCount =
|
||||
List.length segments
|
||||
@ -248,7 +248,7 @@ initHighlighter settings previousHighlightables =
|
||||
segments
|
||||
|
||||
else
|
||||
Highlightable.initFragments Nothing CommonControls.romeoAndJulietQuotation
|
||||
Highlightable.initFragments Nothing (String.trim CommonControls.romeoAndJulietQuotation)
|
||||
in
|
||||
Highlighter.init
|
||||
{ id = "example-romeo-and-juliet"
|
||||
|
Loading…
Reference in New Issue
Block a user