brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Read-only mirror of https://gitlab.gnome.org/GNOME/gnome-shell
5,656 Commits 180 Branches 237 Tags 70 MiB
C 49.2%
JavaScript 47.4%
SCSS 1.4%
Meson 0.8%
Python 0.6%
Other 0.4%
43caace1b6
Go to file
Debarshi Ray 43caace1b6 boxpointer: Use the -arrow-rise as padding instead of a magic number 
This makes sense if we want to follow what the following comment says:
// We also want to keep it onscreen, and separated from the
// edge by the same distance as the main part of the box is
// separated from its sourceActor

Using a magic number violates the "separated from the edge ...
separated from its sourceActor" part.

https://bugzilla.gnome.org/show_bug.cgi?id=682343
2012-09-01 13:14:45 +02:00
.settings Convert all JS style to be uniform, add Eclipse settings bits 2008-11-28 20:12:20 +00:00
browser-plugin shellDBus: Add a real error reporting system to InstallExtensionRemote 2012-07-02 18:29:56 -04:00
data messageTray: Summary items should be square and have spacing 2012-09-01 12:36:00 +02:00
docs Don't build documentation for the recorder when it's disabled 2012-07-10 19:36:57 +02:00
js boxpointer: Use the -arrow-rise as padding instead of a magic number 2012-09-01 13:14:45 +02:00
man docs: Update man page 2011-06-02 15:36:04 +02:00
po Updated Vietnamese translation 2012-09-01 17:21:45 +07:00
src st-im-text: Support surrounding-text 2012-08-31 02:16:42 +02:00
tests st: Remove StIconType 2012-08-29 16:41:09 -03:00
tools build: Bump version in jhbuildrc 2012-08-26 19:46:27 +02:00
.gitignore .gitignore: Update 2012-07-14 18:27:10 -04:00
.project Convert all JS style to be uniform, add Eclipse settings bits 2008-11-28 20:12:20 +00:00
AUTHORS Initial commit 2008-10-31 04:22:44 +00:00
autogen.sh Modernize autotools configuration 2010-02-11 21:02:21 +01:00
configure.ac Bump version to 3.5.90 2012-08-22 00:56:38 +02:00
COPYING Initial commit 2008-10-31 04:22:44 +00:00
gnome-shell.doap doap: Add myself as maintainer 2012-03-30 14:39:02 +02:00
MAINTAINERS MAINTAINERS: Fix my email address 2011-05-23 09:15:58 -04:00
Makefile.am docs: Allow building API documentation 2011-10-20 22:48:44 +02:00
NEWS Bump version to 3.5.90 2012-08-22 00:56:38 +02:00
README Add README and DOAP file 2009-09-04 15:23:13 -04:00

README 

GNOME Shell provides core user interface functions for the GNOME 3 desktop,
like switching to windows and launching applications. GNOME Shell takes
advantage of the capabilities of modern graphics hardware and introduces
innovative user interface concepts to provide a visually attractive and
easy to use experience.

For more information about GNOME Shell, including instructions on how
to build GNOME Shell from source and how to get involved with the project,
see:

 http://live.gnome.org/GnomeShell

Bugs should be reported at http://bugzilla.gnome.org against the 'gnome-shell'
product.

License
=======
GNOME Shell is distributed under the terms of the GNU General Public License,
version 2 or later. See the COPYING file for details.