===========================================================
.___ __ __
_________________ __ __ __| _/|__|/ |_
/ ___\_` __ \__ \ | | \/ __ | | \\_ __\
/ /_/ > | \// __ \| | / /_/ | | || |
\___ /|__| (____ /____/\____ | |__||__|
/_____/ \/ \/
grep rough audit - static analysis tool
v2.8 written by @Wireghoul
=================================[justanotherhacker.com]===
gnome-shell-extension-draw-on-your-screen-10/area.js-76-
gnome-shell-extension-draw-on-your-screen-10/area.js:77: log(`${Me.metadata.uuid}: "${string}" color cannot be parsed.`);
gnome-shell-extension-draw-on-your-screen-10/area.js-78- color = Clutter.Color.get_static(Clutter.StaticColor[fallback.toUpperCase()]);
##############################################
gnome-shell-extension-draw-on-your-screen-10/area.js-85-const DrawingLayer = new Lang.Class({
gnome-shell-extension-draw-on-your-screen-10/area.js:86: Name: `${UUID}-DrawingLayer`,
gnome-shell-extension-draw-on-your-screen-10/area.js-87- Extends: St.DrawingArea,
##############################################
gnome-shell-extension-draw-on-your-screen-10/area.js-122-var DrawingArea = new Lang.Class({
gnome-shell-extension-draw-on-your-screen-10/area.js:123: Name: `${UUID}-DrawingArea`,
gnome-shell-extension-draw-on-your-screen-10/area.js-124- Extends: St.Widget,
##############################################
gnome-shell-extension-draw-on-your-screen-10/area.js-1057- this.currentTool = tool;
gnome-shell-extension-draw-on-your-screen-10/area.js:1058: this.emit('show-osd', Files.Icons[`TOOL_${Tools.getNameOf(tool)}`] || null, DisplayStrings.Tool[tool], "", -1, false);
gnome-shell-extension-draw-on-your-screen-10/area.js-1059- this.updatePointerCursor();
##############################################
gnome-shell-extension-draw-on-your-screen-10/area.js-1111- }
gnome-shell-extension-draw-on-your-screen-10/area.js:1112: this.emit('show-osd', Files.Icons.FONT_WEIGHT, `<span font_weight="${this.currentFontWeight}">` +
gnome-shell-extension-draw-on-your-screen-10/area.js:1113: `${DisplayStrings.FontWeight[this.currentFontWeight]}</span>`, "", -1, false);
gnome-shell-extension-draw-on-your-screen-10/area.js-1114- },
##############################################
gnome-shell-extension-draw-on-your-screen-10/area.js-1121- }
gnome-shell-extension-draw-on-your-screen-10/area.js:1122: this.emit('show-osd', Files.Icons.FONT_STYLE, `<span font_style="${DisplayStrings.FontStyleMarkup[this.currentFontStyle]}">` +
gnome-shell-extension-draw-on-your-screen-10/area.js:1123: `${DisplayStrings.FontStyle[this.currentFontStyle]}</span>`, "", -1, false);
gnome-shell-extension-draw-on-your-screen-10/area.js-1124- },
##############################################
gnome-shell-extension-draw-on-your-screen-10/area.js-1135- }
gnome-shell-extension-draw-on-your-screen-10/area.js:1136: this.emit('show-osd', Files.Icons.FONT_FAMILY, `<span font_family="${this.currentFontFamily}">${DisplayStrings.getFontFamily(this.currentFontFamily)}</span>`, "", -1, false);
gnome-shell-extension-draw-on-your-screen-10/area.js-1137- },
##############################################
gnome-shell-extension-draw-on-your-screen-10/area.js-1230- } catch(e) {
gnome-shell-extension-draw-on-your-screen-10/area.js:1231: log(`${Me.metadata.uuid}: color picker failed: ${e.message}`);
gnome-shell-extension-draw-on-your-screen-10/area.js-1232- this.initPointerCursor();
##############################################
gnome-shell-extension-draw-on-your-screen-10/area.js-1343- let [x, y] = [(this.monitor.width - size) / 2, (this.monitor.height - size) / 2];
gnome-shell-extension-draw-on-your-screen-10/area.js:1344: return `<svg viewBox="${x} ${y} ${size} ${size}" ${prefixes}>${elementsContent}\n</svg>`;
gnome-shell-extension-draw-on-your-screen-10/area.js-1345- };
##############################################
gnome-shell-extension-draw-on-your-screen-10/area.js-1347- let getImageSvgContent = () => {
gnome-shell-extension-draw-on-your-screen-10/area.js:1348: return `<svg viewBox="0 0 ${this.layerContainer.width} ${this.layerContainer.height}" ${prefixes}>${elementsContent}\n</svg>`;
gnome-shell-extension-draw-on-your-screen-10/area.js-1349- };
##############################################
gnome-shell-extension-draw-on-your-screen-10/area.js-1359- prefixes += ' xmlns:xlink="http://www.w3.org/1999/xlink"';
gnome-shell-extension-draw-on-your-screen-10/area.js:1360: let content = `<svg viewBox="0 0 ${this.layerContainer.width} ${this.layerContainer.height}" ${prefixes}>`;
gnome-shell-extension-draw-on-your-screen-10/area.js-1361- let backgroundColorString = this.hasBackground ? String(this.areaBackgroundColor) : 'transparent';
gnome-shell-extension-draw-on-your-screen-10/area.js-1362- if (backgroundColorString != 'transparent')
gnome-shell-extension-draw-on-your-screen-10/area.js:1363: content += `\n <rect id="background" width="100%" height="100%" fill="${backgroundColorString}"/>`;
gnome-shell-extension-draw-on-your-screen-10/area.js-1364- this.elements.forEach(element => content += element.buildSVG(backgroundColorString));
##############################################
gnome-shell-extension-draw-on-your-screen-10/elements.js-76-const _DrawingElement = new Lang.Class({
gnome-shell-extension-draw-on-your-screen-10/elements.js:77: Name: `${UUID}-DrawingElement`,
gnome-shell-extension-draw-on-your-screen-10/elements.js-78-
##############################################
gnome-shell-extension-draw-on-your-screen-10/elements.js-97- try {
gnome-shell-extension-draw-on-your-screen-10/elements.js:98: this.font[`set_${attribute}`](params.font[attribute]);
gnome-shell-extension-draw-on-your-screen-10/elements.js-99- } catch(e) {}
##############################################
gnome-shell-extension-draw-on-your-screen-10/elements.js-309- let [type, ...values] = transform;
gnome-shell-extension-draw-on-your-screen-10/elements.js:310: transAttribute += `${index == 0 ? '' : ' '}${type}(${values.map(value => Number(value).toFixed(2))})`;
gnome-shell-extension-draw-on-your-screen-10/elements.js-311- });
##############################################
gnome-shell-extension-draw-on-your-screen-10/elements.js-326- if (fill) {
gnome-shell-extension-draw-on-your-screen-10/elements.js:327: attributes += `fill="${color}"`;
gnome-shell-extension-draw-on-your-screen-10/elements.js-328- if (this.fillRule)
gnome-shell-extension-draw-on-your-screen-10/elements.js:329: attributes += ` fill-rule="${getFillRuleSvgName(this.fillRule)}"`;
gnome-shell-extension-draw-on-your-screen-10/elements.js-330- } else {
##############################################
gnome-shell-extension-draw-on-your-screen-10/elements.js-334- if (this.line && this.line.lineWidth) {
gnome-shell-extension-draw-on-your-screen-10/elements.js:335: attributes += ` stroke="${color}"` +
gnome-shell-extension-draw-on-your-screen-10/elements.js:336: ` stroke-width="${this.line.lineWidth}"`;
gnome-shell-extension-draw-on-your-screen-10/elements.js-337- if (this.line.lineCap)
gnome-shell-extension-draw-on-your-screen-10/elements.js:338: attributes += ` stroke-linecap="${getLineCapSvgName(this.line.lineCap)}"`;
gnome-shell-extension-draw-on-your-screen-10/elements.js-339- if (this.line.lineJoin && !this.isStraightLine)
gnome-shell-extension-draw-on-your-screen-10/elements.js:340: attributes += ` stroke-linejoin="${getLineJoinSvgName(this.line.lineJoin)}"`;
gnome-shell-extension-draw-on-your-screen-10/elements.js-341- if (this.dash && this.dash.active && this.dash.array && this.dash.array[0] && this.dash.array[1])
gnome-shell-extension-draw-on-your-screen-10/elements.js:342: attributes += ` stroke-dasharray="${this.dash.array[0]} ${this.dash.array[1]}" stroke-dashoffset="${this.dash.offset}"`;
gnome-shell-extension-draw-on-your-screen-10/elements.js-343- }
##############################################
gnome-shell-extension-draw-on-your-screen-10/elements.js-345- if (this.shape == Shapes.LINE && points.length == 4) {
gnome-shell-extension-draw-on-your-screen-10/elements.js:346: row += `<path ${attributes} d="M${points[0][0]} ${points[0][1]}`;
gnome-shell-extension-draw-on-your-screen-10/elements.js:347: row += ` C ${points[1][0]} ${points[1][1]}, ${points[2][0]} ${points[2][1]}, ${points[3][0]} ${points[3][1]}`;
gnome-shell-extension-draw-on-your-screen-10/elements.js:348: row += `${fill ? 'z' : ''}"${transAttribute}/>`;
gnome-shell-extension-draw-on-your-screen-10/elements.js-349-
gnome-shell-extension-draw-on-your-screen-10/elements.js-350- } else if (this.shape == Shapes.LINE && points.length == 3) {
gnome-shell-extension-draw-on-your-screen-10/elements.js:351: row += `<path ${attributes} d="M${points[0][0]} ${points[0][1]}`;
gnome-shell-extension-draw-on-your-screen-10/elements.js:352: row += ` C ${points[0][0]} ${points[0][1]}, ${points[1][0]} ${points[1][1]}, ${points[2][0]} ${points[2][1]}`;
gnome-shell-extension-draw-on-your-screen-10/elements.js:353: row += `${fill ? 'z' : ''}"${transAttribute}/>`;
gnome-shell-extension-draw-on-your-screen-10/elements.js-354-
gnome-shell-extension-draw-on-your-screen-10/elements.js-355- } else if (this.shape == Shapes.LINE) {
gnome-shell-extension-draw-on-your-screen-10/elements.js:356: row += `<line ${attributes} x1="${points[0][0]}" y1="${points[0][1]}" x2="${points[1][0]}" y2="${points[1][1]}"${transAttribute}/>`;
gnome-shell-extension-draw-on-your-screen-10/elements.js-357-
gnome-shell-extension-draw-on-your-screen-10/elements.js-358- } else if (this.shape == Shapes.NONE) {
gnome-shell-extension-draw-on-your-screen-10/elements.js:359: row += `<path ${attributes} d="M${points[0][0]} ${points[0][1]}`;
gnome-shell-extension-draw-on-your-screen-10/elements.js-360- for (let i = 1; i < points.length; i++)
gnome-shell-extension-draw-on-your-screen-10/elements.js:361: row += ` L ${points[i][0]} ${points[i][1]}`;
gnome-shell-extension-draw-on-your-screen-10/elements.js:362: row += `${fill ? 'z' : ''}"${transAttribute}/>`;
gnome-shell-extension-draw-on-your-screen-10/elements.js-363-
##############################################
gnome-shell-extension-draw-on-your-screen-10/elements.js-366- let rx = Math.hypot(points[2][0] - points[0][0], points[2][1] - points[0][1]);
gnome-shell-extension-draw-on-your-screen-10/elements.js:367: row += `<ellipse ${attributes} cx="${points[0][0]}" cy="${points[0][1]}" rx="${rx}" ry="${ry}"${transAttribute}/>`;
gnome-shell-extension-draw-on-your-screen-10/elements.js-368-
##############################################
gnome-shell-extension-draw-on-your-screen-10/elements.js-370- let r = Math.hypot(points[1][0] - points[0][0], points[1][1] - points[0][1]);
gnome-shell-extension-draw-on-your-screen-10/elements.js:371: row += `<circle ${attributes} cx="${points[0][0]}" cy="${points[0][1]}" r="${r}"${transAttribute}/>`;
gnome-shell-extension-draw-on-your-screen-10/elements.js-372-
gnome-shell-extension-draw-on-your-screen-10/elements.js-373- } else if (this.shape == Shapes.RECTANGLE && points.length == 2) {
gnome-shell-extension-draw-on-your-screen-10/elements.js:374: row += `<rect ${attributes} x="${Math.min(points[0][0], points[1][0])}" y="${Math.min(points[0][1], points[1][1])}" ` +
gnome-shell-extension-draw-on-your-screen-10/elements.js:375: `width="${Math.abs(points[1][0] - points[0][0])}" height="${Math.abs(points[1][1] - points[0][1])}"${transAttribute}/>`;
gnome-shell-extension-draw-on-your-screen-10/elements.js-376-
gnome-shell-extension-draw-on-your-screen-10/elements.js-377- } else if (this.shape == Shapes.POLYGON && points.length >= 3) {
gnome-shell-extension-draw-on-your-screen-10/elements.js:378: row += `<polygon ${attributes} points="`;
gnome-shell-extension-draw-on-your-screen-10/elements.js-379- for (let i = 0; i < points.length; i++)
gnome-shell-extension-draw-on-your-screen-10/elements.js:380: row += ` ${points[i][0]},${points[i][1]}`;
gnome-shell-extension-draw-on-your-screen-10/elements.js:381: row += `"${transAttribute}/>`;
gnome-shell-extension-draw-on-your-screen-10/elements.js-382-
gnome-shell-extension-draw-on-your-screen-10/elements.js-383- } else if (this.shape == Shapes.POLYLINE && points.length >= 2) {
gnome-shell-extension-draw-on-your-screen-10/elements.js:384: row += `<polyline ${attributes} points="`;
gnome-shell-extension-draw-on-your-screen-10/elements.js-385- for (let i = 0; i < points.length; i++)
gnome-shell-extension-draw-on-your-screen-10/elements.js:386: row += ` ${points[i][0]},${points[i][1]}`;
gnome-shell-extension-draw-on-your-screen-10/elements.js:387: row += `"${transAttribute}/>`;
gnome-shell-extension-draw-on-your-screen-10/elements.js-388-
##############################################
gnome-shell-extension-draw-on-your-screen-10/elements.js-699-const TextElement = new Lang.Class({
gnome-shell-extension-draw-on-your-screen-10/elements.js:700: Name: `${UUID}-TextElement`,
gnome-shell-extension-draw-on-your-screen-10/elements.js-701- Extends: _DrawingElement,
##############################################
gnome-shell-extension-draw-on-your-screen-10/elements.js-782- if (this.points.length == 2) {
gnome-shell-extension-draw-on-your-screen-10/elements.js:783: attributes += `fill="${color}" ` +
gnome-shell-extension-draw-on-your-screen-10/elements.js:784: `font-size="${height}" ` +
gnome-shell-extension-draw-on-your-screen-10/elements.js:785: `font-family="${this.font.get_family()}"`;
gnome-shell-extension-draw-on-your-screen-10/elements.js-786-
##############################################
gnome-shell-extension-draw-on-your-screen-10/elements.js-790- let lower = attribute.toLowerCase();
gnome-shell-extension-draw-on-your-screen-10/elements.js:791: if (this.font[`get_${lower}`]() != Pango[attribute].NORMAL) {
gnome-shell-extension-draw-on-your-screen-10/elements.js-792- let font = new Pango.FontDescription();
gnome-shell-extension-draw-on-your-screen-10/elements.js:793: font[`set_${lower}`](this.font[`get_${lower}`]());
gnome-shell-extension-draw-on-your-screen-10/elements.js:794: attributes += ` font-${lower}="${font.to_string()}"`;
gnome-shell-extension-draw-on-your-screen-10/elements.js-795- }
##############################################
gnome-shell-extension-draw-on-your-screen-10/elements.js-797- if (this.font.get_weight() != Pango.Weight.NORMAL)
gnome-shell-extension-draw-on-your-screen-10/elements.js:798: attributes += ` font-weight="${this.font.get_weight()}"`;
gnome-shell-extension-draw-on-your-screen-10/elements.js:799: row += `<text ${attributes} x="${x}" `;
gnome-shell-extension-draw-on-your-screen-10/elements.js:800: row += `y="${y}"${transAttribute}>${this.text}</text>`;
gnome-shell-extension-draw-on-your-screen-10/elements.js-801- }
##############################################
gnome-shell-extension-draw-on-your-screen-10/elements.js-839-const ImageElement = new Lang.Class({
gnome-shell-extension-draw-on-your-screen-10/elements.js:840: Name: `${UUID}-ImageElement`,
gnome-shell-extension-draw-on-your-screen-10/elements.js-841- Extends: _DrawingElement,
##############################################
gnome-shell-extension-draw-on-your-screen-10/elements.js-893- let base64 = this.image.getBase64ForColor(this.colored ? this.color.toJSON() : null);
gnome-shell-extension-draw-on-your-screen-10/elements.js:894: row += `<image ${attributes} x="${Math.min(points[0][0], points[1][0])}" y="${Math.min(points[0][1], points[1][1])}" ` +
gnome-shell-extension-draw-on-your-screen-10/elements.js:895: `width="${Math.abs(points[1][0] - points[0][0])}" height="${Math.abs(points[1][1] - points[0][1])}"${transAttribute} ` +
gnome-shell-extension-draw-on-your-screen-10/elements.js:896: `preserveAspectRatio="${this.preserveAspectRatio ? 'xMinYMin' : 'none'}" ` +
gnome-shell-extension-draw-on-your-screen-10/elements.js:897: `id="${this.image.displayName}" xlink:href="data:${this.image.contentType};base64,${base64}"/>`;
gnome-shell-extension-draw-on-your-screen-10/elements.js-898- }
##############################################
gnome-shell-extension-draw-on-your-screen-10/extension.js-56-const Extension = new Lang.Class({
gnome-shell-extension-draw-on-your-screen-10/extension.js:57: Name: `${UUID}-Extension`,
gnome-shell-extension-draw-on-your-screen-10/extension.js-58-
##############################################
gnome-shell-extension-draw-on-your-screen-10/extension.js-64- if (ExtensionUtils.isOutOfDate(Me))
gnome-shell-extension-draw-on-your-screen-10/extension.js:65: log(`${Me.metadata.uuid}: GNOME Shell ${Number.parseFloat(GS_VERSION)} is not supported.`);
gnome-shell-extension-draw-on-your-screen-10/extension.js-66-
##############################################
gnome-shell-extension-draw-on-your-screen-10/extension.js-84-const AreaManager = new Lang.Class({
gnome-shell-extension-draw-on-your-screen-10/extension.js:85: Name: `${UUID}-AreaManager`,
gnome-shell-extension-draw-on-your-screen-10/extension.js-86-
##############################################
gnome-shell-extension-draw-on-your-screen-10/extension.js-418- // Translators: %s is a key label
gnome-shell-extension-draw-on-your-screen-10/extension.js:419: let label = `<small>${_("Press <i>%s</i> for help").format(this.activeArea.helper.helpKeyLabel)}</small>\n\n<span size="medium">${_("Entering drawing mode")}</span>`;
gnome-shell-extension-draw-on-your-screen-10/extension.js-420- this.showOsd(null, Files.Icons.ENTER, label, null, null, true);
##############################################
gnome-shell-extension-draw-on-your-screen-10/extension.js-486- if (color) {
gnome-shell-extension-draw-on-your-screen-10/extension.js:487: osdWindow._icon.set_style(`color:${color};`);
gnome-shell-extension-draw-on-your-screen-10/extension.js:488: osdWindow._label.set_style(`color:${color};`);
gnome-shell-extension-draw-on-your-screen-10/extension.js-489- let osdColorChangedHandler = osdWindow._label.connect('notify::text', () => {
##############################################
gnome-shell-extension-draw-on-your-screen-10/extension.js-564-const OsdWindowConstraint = new Lang.Class({
gnome-shell-extension-draw-on-your-screen-10/extension.js:565: Name: `${UUID}-OsdWindowConstraint`,
gnome-shell-extension-draw-on-your-screen-10/extension.js-566- Extends: OsdWindow.OsdWindowConstraint,
##############################################
gnome-shell-extension-draw-on-your-screen-10/extension.js-586-const DrawingIndicator = new Lang.Class({
gnome-shell-extension-draw-on-your-screen-10/extension.js:587: Name: `${UUID}-Indicator`,
gnome-shell-extension-draw-on-your-screen-10/extension.js-588-
##############################################
gnome-shell-extension-draw-on-your-screen-10/files.js-67- get: function() {
gnome-shell-extension-draw-on-your-screen-10/files.js:68: if (!this[`_${name}`]) {
gnome-shell-extension-draw-on-your-screen-10/files.js:69: let file = Gio.File.new_for_path(ICON_DIR.get_child(`${name}-symbolic.svg`).get_path());
gnome-shell-extension-draw-on-your-screen-10/files.js:70: this[`_${name}`] = file.query_exists(null) ? new Gio.FileIcon({ file }) : new Gio.ThemedIcon({ name: 'action-unavailable-symbolic' });
gnome-shell-extension-draw-on-your-screen-10/files.js-71- }
gnome-shell-extension-draw-on-your-screen-10/files.js:72: return this[`_${name}`];
gnome-shell-extension-draw-on-your-screen-10/files.js-73- }
##############################################
gnome-shell-extension-draw-on-your-screen-10/files.js-79- get: function() {
gnome-shell-extension-draw-on-your-screen-10/files.js:80: if (!this[`_${key}`])
gnome-shell-extension-draw-on-your-screen-10/files.js:81: this[`_${key}`] = new Gio.ThemedIcon({ name: `${ThemedIconNames[key]}-symbolic` });
gnome-shell-extension-draw-on-your-screen-10/files.js:82: return this[`_${key}`];
gnome-shell-extension-draw-on-your-screen-10/files.js-83- }
##############################################
gnome-shell-extension-draw-on-your-screen-10/files.js-93- return contents.replace(/fill(?=="transparent"|="none"|:transparent|:none)/gi, 'filll')
gnome-shell-extension-draw-on-your-screen-10/files.js:94: .replace(/fill="[^"]+"/gi, `fill="${color}"`)
gnome-shell-extension-draw-on-your-screen-10/files.js:95: .replace(/fill:[^";]+/gi, `fill:${color};`)
gnome-shell-extension-draw-on-your-screen-10/files.js-96- .replace(/filll/gi, 'fill');
##############################################
gnome-shell-extension-draw-on-your-screen-10/files.js-101-var Image = new Lang.Class({
gnome-shell-extension-draw-on-your-screen-10/files.js:102: Name: `${UUID}-Image`,
gnome-shell-extension-draw-on-your-screen-10/files.js-103-
##############################################
gnome-shell-extension-draw-on-your-screen-10/files.js-196-const ImageWithGicon = new Lang.Class({
gnome-shell-extension-draw-on-your-screen-10/files.js:197: Name: `${UUID}-ImageWithGicon`,
gnome-shell-extension-draw-on-your-screen-10/files.js-198- Extends: Image,
##############################################
gnome-shell-extension-draw-on-your-screen-10/files.js-250-const ImageFromJson = new Lang.Class({
gnome-shell-extension-draw-on-your-screen-10/files.js:251: Name: `${UUID}-ImageFromJson`,
gnome-shell-extension-draw-on-your-screen-10/files.js-252- Extends: Image,
##############################################
gnome-shell-extension-draw-on-your-screen-10/files.js-397-var Json = new Lang.Class({
gnome-shell-extension-draw-on-your-screen-10/files.js:398: Name: `${UUID}-Json`,
gnome-shell-extension-draw-on-your-screen-10/files.js-399-
##############################################
gnome-shell-extension-draw-on-your-screen-10/files.js-418- if (!this._file)
gnome-shell-extension-draw-on-your-screen-10/files.js:419: this._file = Gio.File.new_for_path(GLib.build_filenamev([GLib.get_user_data_dir(), Me.metadata['data-dir'], `${this.name}.json`]));
gnome-shell-extension-draw-on-your-screen-10/files.js-420-
##############################################
gnome-shell-extension-draw-on-your-screen-10/files.js-496- this._monitorHandler = this._monitor.connect('changed', (monitor, file) => {
gnome-shell-extension-draw-on-your-screen-10/files.js:497: if (file.get_basename() != `${Me.metadata['persistent-file-name']}.json` && file.get_basename().indexOf('.goutputstream'))
gnome-shell-extension-draw-on-your-screen-10/files.js-498- this.reset();
##############################################
gnome-shell-extension-draw-on-your-screen-10/files.js-535-
gnome-shell-extension-draw-on-your-screen-10/files.js:536: if (info.get_content_type().indexOf('json') != -1 && info.get_name() != `${Me.metadata['persistent-file-name']}.json`) {
gnome-shell-extension-draw-on-your-screen-10/files.js-537- let json = new Json({
##############################################
gnome-shell-extension-draw-on-your-screen-10/files.js-590- let date = GLib.DateTime.new_now_local();
gnome-shell-extension-draw-on-your-screen-10/files.js:591: return `${date.format("%F")} ${date.format("%T")}`;
gnome-shell-extension-draw-on-your-screen-10/files.js-592-};
##############################################
gnome-shell-extension-draw-on-your-screen-10/files.js-594-var saveSvg = function(content) {
gnome-shell-extension-draw-on-your-screen-10/files.js:595: let filename = `${Me.metadata['svg-file-name']} ${getDateString()}.svg`;
gnome-shell-extension-draw-on-your-screen-10/files.js-596- let dir = GLib.get_user_special_dir(GLib.UserDirectory.DIRECTORY_PICTURES);
##############################################
gnome-shell-extension-draw-on-your-screen-10/gimpPaletteParser.js-75-
gnome-shell-extension-draw-on-your-screen-10/gimpPaletteParser.js:76: let string = `rgb(${values[0]},${values[1]},${values[2]})`;
gnome-shell-extension-draw-on-your-screen-10/gimpPaletteParser.js-77- if (displayName.trim())
gnome-shell-extension-draw-on-your-screen-10/gimpPaletteParser.js:78: string += `:${displayName.trim()}`;
gnome-shell-extension-draw-on-your-screen-10/gimpPaletteParser.js-79-
##############################################
gnome-shell-extension-draw-on-your-screen-10/gimpPaletteParser.js-82-
gnome-shell-extension-draw-on-your-screen-10/gimpPaletteParser.js:83: return columns.map((column, index) => [columnNumber > 1 ? `${name} ${index + 1}` : name, column]);
gnome-shell-extension-draw-on-your-screen-10/gimpPaletteParser.js-84-}
##############################################
gnome-shell-extension-draw-on-your-screen-10/helper.js-47-var DrawingHelper = new Lang.Class({
gnome-shell-extension-draw-on-your-screen-10/helper.js:48: Name: `${UUID}-DrawingHelper`,
gnome-shell-extension-draw-on-your-screen-10/helper.js-49- Extends: St.ScrollView,
##############################################
gnome-shell-extension-draw-on-your-screen-10/menu.js-142-var DrawingMenu = new Lang.Class({
gnome-shell-extension-draw-on-your-screen-10/menu.js:143: Name: `${UUID}-DrawingMenu`,
gnome-shell-extension-draw-on-your-screen-10/menu.js-144-
##############################################
gnome-shell-extension-draw-on-your-screen-10/menu.js-200- let maxHeight = Math.round(workArea.height / scaleFactor);
gnome-shell-extension-draw-on-your-screen-10/menu.js:201: this.menu.actor.set_style(`max-height:${maxHeight}px;`);
gnome-shell-extension-draw-on-your-screen-10/menu.js-202- },
##############################################
gnome-shell-extension-draw-on-your-screen-10/menu.js-401- Object.keys(obj).forEach(key => {
gnome-shell-extension-draw-on-your-screen-10/menu.js:402: let text = targetProperty == 'currentFontWeight' ? `<span font_weight="${key}">${obj[key]}</span>` :
gnome-shell-extension-draw-on-your-screen-10/menu.js:403: targetProperty == 'currentFontStyle' ? `<span font_style="${DisplayStrings.FontStyleMarkup[key]}">${obj[key]}</span>` :
gnome-shell-extension-draw-on-your-screen-10/menu.js-404- String(obj[key]);
##############################################
gnome-shell-extension-draw-on-your-screen-10/menu.js-424- let toolName = this.drawingTools.getNameOf(this.area.currentTool);
gnome-shell-extension-draw-on-your-screen-10/menu.js:425: item.icon.set_gicon(Files.Icons[`TOOL_${toolName}`]);
gnome-shell-extension-draw-on-your-screen-10/menu.js-426- };
##############################################
gnome-shell-extension-draw-on-your-screen-10/menu.js-434- let toolName = this.drawingTools.getNameOf(key);
gnome-shell-extension-draw-on-your-screen-10/menu.js:435: let subItemIcon = Files.Icons[`TOOL_${toolName}`];
gnome-shell-extension-draw-on-your-screen-10/menu.js-436- let subItem = item.menu.addAction(text, () => {
##############################################
gnome-shell-extension-draw-on-your-screen-10/menu.js-488- item.icon.set_gicon(icon);
gnome-shell-extension-draw-on-your-screen-10/menu.js:489: item.icon.set_style(`color:${this.area.currentColor.to_string().slice(0, 7)};`);
gnome-shell-extension-draw-on-your-screen-10/menu.js-490-
##############################################
gnome-shell-extension-draw-on-your-screen-10/menu.js-515- this.area.currentColor = color;
gnome-shell-extension-draw-on-your-screen-10/menu.js:516: this.colorItem.icon.set_style(`color:${color.to_string().slice(0, 7)};`);
gnome-shell-extension-draw-on-your-screen-10/menu.js-517- });
gnome-shell-extension-draw-on-your-screen-10/menu.js-518- // Foreground color markup is not displayed since 3.36, use style instead but the transparency is lost.
gnome-shell-extension-draw-on-your-screen-10/menu.js:519: subItem.label.set_style(`color:${color.to_string().slice(0, 7)};`);
gnome-shell-extension-draw-on-your-screen-10/menu.js-520- getActor(subItem).connect('key-focus-in', updateSubMenuAdjustment);
##############################################
gnome-shell-extension-draw-on-your-screen-10/menu.js-543- GLib.idle_add(GLib.PRIORITY_DEFAULT_IDLE, () => {
gnome-shell-extension-draw-on-your-screen-10/menu.js:544: subItem.label.set_style(`font-family:${family}`);
gnome-shell-extension-draw-on-your-screen-10/menu.js-545- });
##############################################
gnome-shell-extension-draw-on-your-screen-10/menu.js-602- let prefix = this.area.drawingContentsHasChanged ? "* " : "";
gnome-shell-extension-draw-on-your-screen-10/menu.js:603: this.drawingNameMenuItem.label.set_text(`<i>${prefix}${this.area.currentJson.name}</i>`);
gnome-shell-extension-draw-on-your-screen-10/menu.js-604- this.drawingNameMenuItem.label.get_clutter_text().set_use_markup(true);
##############################################
gnome-shell-extension-draw-on-your-screen-10/menu.js-633-
gnome-shell-extension-draw-on-your-screen-10/menu.js:634: let subItem = this.openDrawingSubMenu.addAction(`<i>${String(json)}</i>`, () => {
gnome-shell-extension-draw-on-your-screen-10/menu.js-635- this.area.loadJson(json);
##############################################
gnome-shell-extension-draw-on-your-screen-10/menu.js-745-const ActionButton = new Lang.Class({
gnome-shell-extension-draw-on-your-screen-10/menu.js:746: Name: `${UUID}-DrawingMenuActionButton`,
gnome-shell-extension-draw-on-your-screen-10/menu.js-747- Extends: St.Bin,
##############################################
gnome-shell-extension-draw-on-your-screen-10/menu.js-760- accessible_name: name,
gnome-shell-extension-draw-on-your-screen-10/menu.js:761: style_class: `button draw-on-your-screen-menu-${inline ? 'inline' : 'action'}-button` });
gnome-shell-extension-draw-on-your-screen-10/menu.js-762-
##############################################
gnome-shell-extension-draw-on-your-screen-10/menu.js-790-const Entry = new Lang.Class({
gnome-shell-extension-draw-on-your-screen-10/menu.js:791: Name: `${UUID}-DrawingMenuEntry`,
gnome-shell-extension-draw-on-your-screen-10/menu.js-792-
##############################################
gnome-shell-extension-draw-on-your-screen-10/prefs.js-66-const TopStack = new GObject.Class({
gnome-shell-extension-draw-on-your-screen-10/prefs.js:67: Name: `${UUID}-TopStack`,
gnome-shell-extension-draw-on-your-screen-10/prefs.js-68- Extends: Gtk.Stack,
##############################################
gnome-shell-extension-draw-on-your-screen-10/prefs.js-84-const AboutPage = new GObject.Class({
gnome-shell-extension-draw-on-your-screen-10/prefs.js:85: Name: `${UUID}-AboutPage`,
gnome-shell-extension-draw-on-your-screen-10/prefs.js-86- Extends: Gtk.ScrolledWindow,
##############################################
gnome-shell-extension-draw-on-your-screen-10/prefs.js-137-const DrawingPage = new GObject.Class({
gnome-shell-extension-draw-on-your-screen-10/prefs.js:138: Name: `${UUID}-DrawingPage`,
gnome-shell-extension-draw-on-your-screen-10/prefs.js-139- Extends: Gtk.ScrolledWindow,
##############################################
gnome-shell-extension-draw-on-your-screen-10/prefs.js-357- if (colorButton.tooltip_text)
gnome-shell-extension-draw-on-your-screen-10/prefs.js:358: this.palettes[paletteIndex][1][colorIndex] += `:${colorButton.tooltip_text}`;
gnome-shell-extension-draw-on-your-screen-10/prefs.js-359- this._savePalettes();
##############################################
gnome-shell-extension-draw-on-your-screen-10/prefs.js-389-const PrefsPage = new GObject.Class({
gnome-shell-extension-draw-on-your-screen-10/prefs.js:390: Name: `${UUID}-PrefsPage`,
gnome-shell-extension-draw-on-your-screen-10/prefs.js-391- Extends: Gtk.ScrolledWindow,
##############################################
gnome-shell-extension-draw-on-your-screen-10/prefs.js-502-const Frame = new GObject.Class({
gnome-shell-extension-draw-on-your-screen-10/prefs.js:503: Name: `${UUID}-Frame`,
gnome-shell-extension-draw-on-your-screen-10/prefs.js-504- Extends: Gtk.Frame,
##############################################
gnome-shell-extension-draw-on-your-screen-10/prefs.js-506- _init: function(params) {
gnome-shell-extension-draw-on-your-screen-10/prefs.js:507: let labelWidget = new Gtk.Label({ margin_bottom: MARGIN / 2, use_markup: true, label: `<b><big>${params.label}</big></b>` });
gnome-shell-extension-draw-on-your-screen-10/prefs.js-508- this.parent({ label_yalign: 1.0, label_widget: labelWidget });
##############################################
gnome-shell-extension-draw-on-your-screen-10/prefs.js-517-const PrefRow = new GObject.Class({
gnome-shell-extension-draw-on-your-screen-10/prefs.js:518: Name: `${UUID}-PrefRow`,
gnome-shell-extension-draw-on-your-screen-10/prefs.js-519- Extends: Gtk.ListBoxRow,
##############################################
gnome-shell-extension-draw-on-your-screen-10/prefs.js-535- if (params.desc) {
gnome-shell-extension-draw-on-your-screen-10/prefs.js:536: this.desc = new Gtk.Label({ use_markup: true, label: `<small>${params.desc}</small>`, halign: Gtk.Align.START, wrap: true, xalign: 0 });
gnome-shell-extension-draw-on-your-screen-10/prefs.js-537- this.desc.get_style_context().add_class('dim-label');
##############################################
gnome-shell-extension-draw-on-your-screen-10/prefs.js-561-const PixelSpinButton = new GObject.Class({
gnome-shell-extension-draw-on-your-screen-10/prefs.js:562: Name: `${UUID}-PixelSpinButton`,
gnome-shell-extension-draw-on-your-screen-10/prefs.js-563- Extends: Gtk.SpinButton,
##############################################
gnome-shell-extension-draw-on-your-screen-10/prefs.js-600-const ColorStringButton = new GObject.Class({
gnome-shell-extension-draw-on-your-screen-10/prefs.js:601: Name: `${UUID}-ColorStringButton`,
gnome-shell-extension-draw-on-your-screen-10/prefs.js-602- Extends: Gtk.ColorButton,
##############################################
gnome-shell-extension-draw-on-your-screen-10/prefs.js-632-const FileChooserButton = new GObject.Class({
gnome-shell-extension-draw-on-your-screen-10/prefs.js:633: Name: `${UUID}-FileChooserButton`,
gnome-shell-extension-draw-on-your-screen-10/prefs.js-634- Extends: Gtk.FileChooserButton,
##############################################
gnome-shell-extension-draw-on-your-screen-10/prefs.js-663-const KeybindingsWidget = new GObject.Class({
gnome-shell-extension-draw-on-your-screen-10/prefs.js:664: Name: `${UUID}-KeybindingsWidget`,
gnome-shell-extension-draw-on-your-screen-10/prefs.js-665- Extends: Gtk.Box,