Skip to content

Pull requests: emasab/shelltile

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

Wayland and GNOME 3.38 compatibility
#133 by emasab was merged May 8, 2022 Loading…
Bump minimist from 1.2.5 to 1.2.6 dependencies Pull requests that update a dependency file
#132 by dependabot bot was closed May 8, 2022 Loading…
Bump ajv from 6.10.0 to 6.12.6 dependencies Pull requests that update a dependency file
#129 by dependabot bot was closed May 8, 2022 Loading…
Bump lodash from 4.17.19 to 4.17.21 dependencies Pull requests that update a dependency file
#124 by dependabot bot was closed May 8, 2022 Loading…
Tweener module import fix (GNOME >= 3.37)
#111 by pstolarz was closed Oct 3, 2020 Loading…
Bump lodash from 4.17.15 to 4.17.19 dependencies Pull requests that update a dependency file
#103 by dependabot bot was merged Oct 3, 2020 Loading…
Bump acorn from 6.1.1 to 6.4.1 dependencies Pull requests that update a dependency file
#94 by dependabot bot was merged Oct 3, 2020 Loading…
Added Dutch translation
#93 by Vistaus was merged Oct 3, 2020 Loading…
Bump lodash from 4.17.11 to 4.17.15 dependencies Pull requests that update a dependency file
#89 by dependabot bot was closed Dec 19, 2019 Loading…
Bump eslint-utils from 1.3.1 to 1.4.3 dependencies Pull requests that update a dependency file
#88 by dependabot bot was closed Dec 19, 2019 Loading…
update Russian translation
#87 by vantu5z was merged Jan 19, 2020 Loading…
Grouping edge tiling
#83 by emasab was merged Jun 11, 2019 Loading…
Update for gnome 3.30
#68 by martin31821 was closed Oct 6, 2018 Loading…
update Russian translation
#60 by vantu5z was merged May 31, 2018 Loading…
fix for #19: edge zones are 1 pixel around the monitor
#59 by ddnexus was merged May 11, 2018 Loading…
Add Russian translation
#58 by vantu5z was merged May 11, 2018 Loading…
Disable Mutter edge tiling
#51 by HarmtH was merged Jan 25, 2018 Loading…
Added Brazilian Portuguese translation
#49 by diego-rlima was merged May 11, 2018 Loading…
Allow choosing between Ctrl, Super, or both
#42 by lagerspetz was merged Jun 21, 2017 Loading…
Add support for gnome 3.22
#14 by gigitux was merged Oct 31, 2016 Loading…
Add gtk3.20 version in metadata
#3 by andreisergiu98 was closed Jul 23, 2016 Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.