Merge commit '7a455971fed716123933d0f685a0d6eebcf3282b'
authorNiki Roo <niki@nikiroo.be>
Thu, 2 Jan 2020 15:15:19 +0000 (16:15 +0100)
committerNiki Roo <niki@nikiroo.be>
Thu, 2 Jan 2020 15:15:19 +0000 (16:15 +0100)
commitd3ab274f9152618a8bc21a0a20caed1a8520b224
tree6fa34924832cb3d907ceb23ee815482fd6d21eea
parentc4cefaa04ec122fc02efb6542451a31fdf722c32
parent7a455971fed716123933d0f685a0d6eebcf3282b
Merge commit '7a455971fed716123933d0f685a0d6eebcf3282b'
16 files changed:
src/jexer/EditMenuUser.java
src/jexer/THelpWindow.java
src/jexer/THelpWindow.properties
src/jexer/backend/HeadlessBackend.java
src/jexer/bits/Clipboard.java
src/jexer/demos/Demo8.java
src/jexer/demos/Demo8.properties
src/jexer/help/HelpFile.java
src/jexer/help/HelpFile.properties
src/jexer/help/Link.java
src/jexer/help/THelpText.java
src/jexer/help/TParagraph.java
src/jexer/help/TWord.java
src/jexer/help/Topic.java
src/jexer/help/Topic.properties
src/jexer/help/package-info.java