maoschanz/slightstone-server maoschanz/slightstone-server

  • Stars
    star
    1
  • Language
    Java
  • License
    GNU General Publi...
  • Created about 6 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
maoschanz/slightstone-server
github

maoschanz

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Server part of the "Mini-Heartstone" university java project (project of "Algorithme, Conception et mise en œuvre de logiciels")

More Repositories

1

drawing

Simple image editor for Linux
Python
674
star
2

emoji-selector-for-gnome

This extension provide a popup menu with some emojis ; clicking on an emoji copies it to the clipboard.
JavaScript
461
star
3

dynamic-wallpaper-editor

A little utility for creation or edition of GNOME desktop's XML wallpapers
Python
195
star
4

gedit-plugin-markdown_preview

A gedit plugin previewing markdown (.md) documents
Python
116
star
5

appfolders-manager-gnome-extension

A GNOME extension allowing easy management of "appfolders" directly from the applications grid.
JavaScript
95
star
6

notes-extension-gnome

A GNOME Shell extension providing customizable sticky notes
JavaScript
76
star
7

quicklists-gnome-shell-extension

Add dynamic quicklists with nautilus bookmarks or recent files.
JavaScript
18
star
8

gedit-plugin-open-as-root

A gedit plugin opening the current document as root
Python
12
star
9

sound-percentage-gs-extension

A GNOME Shell extension displaying the current sound percentage in the system tray.
JavaScript
12
star
10

nautilus-open-with-menu

A simple nautilus extension adding a submenu to the right-click, with a list of apps you can use to open the selected files.
Python
10
star
11

More-columns-in-applications-view

Set the number of columns in the "applications" view.
JavaScript
8
star
12

Places-and-files-direct-access

GNOME Shell extension providing an access to devices, bookmarks and recent files on the desktop.
JavaScript
7
star
13

gnome-extension-development-utility

[email protected]
JavaScript
5
star
14

gnome-shell-extension-add-on-desktop

Add application launchers on your desktop.
JavaScript
4
star
15

Move-OSD-Windows-GNOME-Extension

A GNOME Shell extension allowing the user to set the position of the OSD windows for sound or luminosity.
JavaScript
2
star
16

gedit-plugin-panel-manager

This is a plugin for the Gedit text editor, giving an easy access to controls for hiding/showing Gedit panels.
Python
2
star
17

nautilus-launcher-creator

[NOT WORKING] A nautilus extension providing an advanced dialog in order to create a launcher (.desktop file) for any file.
Python
1
star
18

fortune-on-lockscreen

GNOME Shell extension showing a return of `fortune` on the lock screen
JavaScript
1
star
19

change-gdm-login-background

Script changing the login screen background with GDM3
Shell
1
star