Editing GUI terminal widget
Jump to navigation
Jump to search
The edit can be undone. Please check the comparison below to verify that this is what you want to do, and then publish the changes below to finish undoing the edit.
Latest revision | Your text | ||
Line 74: | Line 74: | ||
#* (+) Written in C++ | #* (+) Written in C++ | ||
#* (-) AFAIK, the current implementation was forked from this implementation some years ago. It deviated quite substantially which makes merging difficult and which might suggest that the original implementation doesn't fit our needs (confirmation needed). | #* (-) AFAIK, the current implementation was forked from this implementation some years ago. It deviated quite substantially which makes merging difficult and which might suggest that the original implementation doesn't fit our needs (confirmation needed). | ||
#* (-) Not cross-platform ( | #* (-) Not cross-platform (no Windows support). | ||
[[Category:Development]] | [[Category:Development]] |