Codebase list gnome-shell-extensions / 0c15c83
Import Upstream version 3.30.1 Sophie Brun 5 years ago
6 changed file(s) with 35 addition(s) and 36 deletion(s). Raw diff Collapse all Expand all
0 3.30.1
1 ======
2 * apps-menu: Fix height on HiDPI systems [Florian; #102]
3 * window-list: Only switch between windows on active workspace when scrolling
4 [Florian; #78]
5
6 Contributors:
7 Florian Müllner
8
09 3.30.0
110 ======
211 * Bump version
4747 padding: 4px 32px;
4848 @include button(normal);
4949 &:focus { @include button(focus); }
50 &:hover { @include button(hover); }
5051 &:insensitive { @include button(insensitive); }
5152 &:active { @include button(active); }
52
5353 }
5454
5555 .modal-dialog-linked-button {
5656 border-right-width: 1px;
5757 @include button(normal);
5858 &:insensitive { @include button(insensitive); }
59 &:focus { @include button(focus); }
60 &:hover { @include button(hover); }
5961 &:active { @include button(active); }
60 &:focus { @include button(focus); }
6162 padding: 12px;
6263
6364 &:first-child {
687688 height: 50px;
688689 background-color: $selected_bg_color;
689690 color: $selected_fg_color;
690 //background-image: url("resource:///org/gnome/shell/theme/ws-switch-arrow-up.png");
691691 background-size: 32px;
692692 border-radius: 8px;
693693 }
149149 //
150150 // focused button
151151 //
152 $_bg: if($c!=$osd_bg_color, transparentize($c, 0.5),
153 $osd_bg_color);
152 $_bg: if($c!=$osd_bg_color, transparentize($c, 0.3),
153 lighten($osd_bg_color,3%));
154154
155155 color: $osd_fg_color;
156156 text-shadow: 0 1px black;
163163 // active osd button
164164 //
165165 $_bg: if($c!=$osd_bg_color, transparentize($c, 0.3),
166 lighten($osd_bg_color,10%));
166 lighten($osd_bg_color,3%));
167167
168168 color: white;
169169 border-color: $osd_borders_color;
181181
182182 color: white;
183183 border-color: $osd_borders_color;
184 background-color: darken($_bg,5%);
184 background-color: $selected_bg_color;
185185 // This should be none, but it's creating some issues with borders, so to
186186 // workaround it for now, use inset wich goes through a different code path.
187187 // see https://bugzilla.gnome.org/show_bug.cgi?id=752934
684684 //Load applications
685685 this._displayButtons(this._listApplications(null));
686686
687 let height = this.categoriesBox.height + MENU_HEIGHT_OFFSET + 'px';
687 let themeContext = St.ThemeContext.get_for_stage(global.stage);
688 let scaleFactor = themeContext.scale_factor;
689 let categoriesHeight = this.categoriesBox.height / scaleFactor;
690 let height = Math.round(categoriesHeight) + MENU_HEIGHT_OFFSET + 'px';
688691 this.mainBox.style+=('height: ' + height);
689692 }
690693
897897 else
898898 return;
899899
900 let children = this._windowList.get_children().map(a => a._delegate);
901 let active = 0;
902 for (let i = 0; i < children.length; i++) {
903 if (children[i].active) {
904 active = i;
905 break;
906 }
907 }
908
909 active = Math.max(0, Math.min(active + diff, children.length-1));
910 children[active].activate();
900 let children = this._windowList.get_children()
901 .filter(c => c.visible)
902 .map(a => a._delegate);
903 let active = children.findIndex(c => c.active);
904 let newActive = Math.max(0, Math.min(active + diff, children.length-1));
905 children[newActive].activate();
911906 }
912907
913908 _updatePosition() {
10221017
10231018 _removeApp(app) {
10241019 let children = this._windowList.get_children();
1025 for (let i = 0; i < children.length; i++) {
1026 if (children[i]._delegate.app == app) {
1027 children[i].destroy();
1028 return;
1029 }
1030 }
1020 let child = children.find(c => c._delegate.app == app);
1021 if (child)
1022 child.destroy();
10311023 }
10321024
10331025 _onWindowAdded(ws, win) {
10411033 return;
10421034
10431035 let children = this._windowList.get_children();
1044 for (let i = 0; i < children.length; i++) {
1045 if (children[i]._delegate.metaWindow == win)
1046 return;
1047 }
1036 if (children.find(c => c._delegate.metaWindow == win))
1037 return;
10481038
10491039 let button = new WindowButton(win, this._perMonitor, this._monitor.index);
10501040 this._windowList.layout_manager.pack(button.actor,
10641054 return; // not actually removed, just moved to another workspace
10651055
10661056 let children = this._windowList.get_children();
1067 for (let i = 0; i < children.length; i++) {
1068 if (children[i]._delegate.metaWindow == win) {
1069 children[i].destroy();
1070 return;
1071 }
1072 }
1057 let child = children.find(c => c._delegate.metaWindow == win);
1058 if (child)
1059 child.destroy();
10731060 }
10741061
10751062 _onWorkspacesChanged() {
00 project('gnome-shell-extensions',
1 version: '3.30.0',
1 version: '3.30.1',
22 meson_version: '>= 0.44.0',
33 license: 'GPL2+'
44 )