Skip to content

Pull requests: sedwards2009/extraterm

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Emoji variant support via ligature hack
#452 by sedwards2009 was closed Jun 29, 2025
ScrollMap
#448 by sedwards2009 was merged Dec 23, 2024
SSH
#442 by sedwards2009 was merged Jun 1, 2024
Inline images
#440 by sedwards2009 was merged Apr 17, 2024
Advanced Docking
#426 by sedwards2009 was merged Jun 4, 2023
fix link in readme
#423 by superusercode was merged May 18, 2023 Approved
Support Input Methods
#414 by sedwards2009 was merged Mar 8, 2023
Update checker extension
#412 by sedwards2009 was merged Feb 20, 2023
Bump http-cache-semantics from 4.1.0 to 4.1.1 dependencies Pull requests that update a dependency file
#410 by dependabot bot was merged Jun 29, 2025 Approved
Bump json5 from 2.2.1 to 2.2.3 dependencies Pull requests that update a dependency file
#407 by dependabot bot was merged Jun 29, 2025 Approved
Qt6 and upgraded NodeGui
#406 by sedwards2009 was merged Jan 7, 2023
Bump qs from 6.3.2 to 6.3.3 dependencies Pull requests that update a dependency file
#395 by dependabot bot was closed Dec 12, 2022
Tips & Colorizer extensions
#394 by sedwards2009 was merged Dec 9, 2022
Layers & Find
#392 by sedwards2009 was merged Nov 19, 2022
Bump @xmldom/xmldom from 0.7.5 to 0.7.8 dependencies Pull requests that update a dependency file
#391 by dependabot bot was merged Dec 13, 2022 Approved
Bump @xmldom/xmldom from 0.7.5 to 0.7.6 dependencies Pull requests that update a dependency file
#389 by dependabot bot was closed Nov 1, 2022
Try to build an AppImage
#384 by sedwards2009 was merged Aug 20, 2022
Debug yarn2 on CI
#383 by sedwards2009 was merged Aug 18, 2022
Bump electron from 12.0.2 to 13.6.6 dependencies Pull requests that update a dependency file
#374 by dependabot bot was closed Apr 25, 2022
ProTip! Adding no:label will show everything without a label.