java-atk-wrapper 0.32.3

2015-01-21 Thread Magdalen Berns
About Java ATK Wrapper == Java ATK Wrapper provides a C wrapper to java to allow access to methods from the ATK API interface in java News Build: Use JNI_VERSION_1_6 LDFLAGS Use proper version info syntax check if AM_PROG_AR is defined Add -rpath flag to LDFLAGS

gnome-builder 3.15.4.1

2015-01-21 Thread Christian Hergert
About Builder = Builder is an IDE for writing GNOME-based software. It is currently under heavy development. News Version 3.15.4 == This is the first preview release of Builder as we continue our journey to GNOME 3.16! Being that this is such an early release,

gtkmm 3.15.4

2015-01-21 Thread Murray Cumming
About gtkmm === C++ bindings for GTK+ News Gtk: * Builder::get_type_from_name_vfunc(): Call the base class function. Instead of jusgin calling g_type_from_name(), in case the base class function does more. (Kjell Ahlstedt) Bug #742637. * TextBuffer: - Add insert_martkup().

gnome-control-center 3.15.4

2015-01-21 Thread Rui Matos
About gnome-control-center == GNOME's main interface to configure various aspects of the desktop Download https://download.gnome.org/sources/gnome-control-center/3.15/gnome-control-center-3.15.4.tar.xz (6.65M) sha256sum:

mutter 3.15.4

2015-01-21 Thread Florian Müllner
About mutter Mutter is a window and compositing manager that displays and manages your desktop via OpenGL. Mutter combines a sophisticated display engine using the Clutter toolkit with solid window-management logic inherited from the Metacity window manager. While Mutter can be used

gnome-shell 3.15.4

2015-01-21 Thread Florian Müllner
About GNOME Shell = 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

gnome-shell-extensions 3.15.4

2015-01-21 Thread Florian Müllner
About gnome-shell-extensions GNOME Shell Extensions is a collection of extensions providing additional and optional functionality to GNOME Shell. Most extensions can be installed by configuring --prefix=$HOME/.local, and will be picked automatically at next login.

gnome-settings-daemon 3.15.4

2015-01-21 Thread Rui Matos
About gnome-settings-daemon === GNOME Settings Daemon News - Added GsdDeviceManager with X11 and udev (for native wayland sessions) backends - Most keyboard, mouse, touchpad and wacom settings schemas moved to gsettings-desktop-schemas. User settings migration