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)
16 files changed:
1  2 
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

Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge