Igor Montagner
Igor Montagner
#### Summary Change checkbox widget to `EditableArea`, which uses `` (from `Editable` which uses ``). `` does not support text wrapping but `` does.  #### Ticket Link Fix #2410
Web components are custom HTML components that are required to have `-` in their names. This breaks current HTML handling since these elements are not considered. IMHO they should be...
Fix #73 Tested this with multiple terminal windows and tabs. should work without issues.
Discussion about design in the issue. Will close #442
## Problem There are many plugin requests in the issues tab and most go unanswered due to lack of manpower. Even when someone takes the effort to actually implement them,...
Fix #36 I'm proposing an initial version for a Snippets plugin. Basic editing works for placeholders and it's already useful on its own. The following features are implemented. - language...
This is a combo of #1113 and #1125  @jeremypw I think you might be interested in this
## Problem Code only has very basic markdown shortcuts. ## Proposal * Make the backticks \` work like parenthesis: adding a single backtick adds a double and selecting text and...
Fix #571 . Implementation was based on [this mailing list message](https://mail.gnome.org/archives/gtk-app-devel-list/2008-March/msg00018.html). Requests for improvements are welcome. 