This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/** | |
* Rewrite of DSA1 v3.02_de datasegment | |
* No code is allowed here, only the global data | |
*/ | |
#include "datseg.h" | |
#if !defined(__BORLANDC__) | |
namespace M302de { | |
#endif |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/bash | |
# | |
# This script requires the command `wmctrl`! | |
# | |
# Execute this script at GNOME startup as a daemon (e.g. with the & control operator). | |
# | |
# It will check in an endless loop that all windows that are currently open have | |
# the _GTK_HIDE_TITLEBAR_WHEN_MAXIMIZED atom set to true. | |
# | |
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
EXT_UUID=$1 | |
function get_ext_state() { | |
ENABLED_EXT=$(dconf read /org/gnome/shell/enabled-extensions | grep "'$1'") | |
if [ "x$ENABLED_EXT" != "x" ]; then | |
return 0 | |
else | |
return 1 |