☰

element.io-width

Removes all of the dead space in element.io.

Versión del día 14/07/2021. Echa un vistazo a la versión más reciente.

// ==UserScript==
// @name         element.io-width
// @version      0.5
// @description  Removes all of the dead space in element.io.
// @match        http://app.element.io/*
// @match        https://app.element.io/*
// @match        http://*.app.element.io/*
// @match        https://*.app.element.io/*
// @namespace    https://greasyfork.org/users/217495-eric-toombs
// @run-at       document-idle
// ==/UserScript==

style_tag = document.createElement('style');
style_tag.innerHTML = `
  .mx_LeftPanel .mx_LeftPanel_GroupFilterPanelContainer {
    display: none;
  }
	.mx_EventTile_msgOption {
		width: 16px;
	}
	.mx_RoomView_MessageList {
		padding: 0px;
	}
	.mx_EventTile_content {
		margin-right: 0px;
	}
`;
document.getElementsByTagName('head')[0].append(style_tag);