Joost Verdoorn dff673533d viewSelector: Remove tab title bar ...

All the functionality provided by the tab titles has been replaced, so the
title bar can be removed without loss of functionality.

https://bugzilla.gnome.org/show_bug.cgi?id=682109

2012-08-20 14:23:18 +02:00

..

extensionPrefs

Remove markup from translated strings

2012-08-06 11:59:14 -04:00

gdm

Consolidate systemd and consolekit in a common abstract class

2012-08-18 18:09:55 +02:00

misc

Consolidate systemd and consolekit in a common abstract class

2012-08-18 18:09:55 +02:00

perf

js: use System.gc() instead of shell_global_gc()

2012-07-12 20:11:38 -04:00

ui

viewSelector: Remove tab title bar

2012-08-20 14:23:18 +02:00

Makefile.am

Introduce a new GrabHelper

2012-08-19 18:41:51 -04:00