brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

dash: Reimplement the dash based on AppWell code

Browse Source 
The new dash implementation is a single-column vertical sidebar,
whose items are scaled dynamically to fit the available height.
If the height is still exceeded after scaling down to a minimum
item size, excess items are cut off.
The now unused old dash implementation is renamed to OldDash, as
its code will be used as a base for the new view selector element.

https://bugzilla.gnome.org/show_bug.cgi?id=634948
This commit is contained in:
Florian Müllner
2010-07-22 01:29:02 +02:00
parent 2d2ac5b3f6
commit 3e4f744e56
6 changed files with 279 additions and 161 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
js/ui/overview.js
View File

@ -319,15 +319,12 @@ Overview.prototype = {
this._workspacesY = Math.floor(displayGridRowHeight + WORKSPACE_GRID_PADDING * (primary.height / primary.width));
if (rtl) {
this._dash.actor.set_position(primary.width - displayGridColumnWidth, contentY);
this._dash.actor.set_position(primary.width - displayGridColumnWidth - WORKSPACE_GRID_PADDING / 2,
this._workspacesY);
} else {
this._dash.actor.set_position(0, contentY);
this._dash.actor.set_position(0, this._workspacesY);
}
this._dash.actor.set_size(displayGridColumnWidth, contentHeight);
this._dash.searchArea.height = this._workspacesY - contentY;
this._dash.sectionArea.height = this._workspacesHeight;
this._dash.searchResults.actor.height = this._workspacesHeight;
this._dash.actor.height = this._workspacesHeight;
// place the 'Add Workspace' button in the bottom row of the grid
this._workspacesBarX = this._workspacesX;
@ -445,8 +442,6 @@ Overview.prototype = {
this.visible = true;
this.animationInProgress = true;
this._dash.show();
/* TODO: make this stuff dynamic */
this._workspacesManager =
new WorkspacesView.WorkspacesManager(this._workspacesWidth,
@ -615,7 +610,6 @@ Overview.prototype = {
this._workspacesManager = null;
this._dash.hide();
this._desktopFade.hide();
this._background.hide();
this._group.hide();