Guest User

Untitled

a guest
Nov 20th, 2018
125
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. philip@LM13PC ~/cinnamon_build/Cinnamon $ grep -rn panel-scale-text-icons *
  2. data/org.cinnamon.gschema.xml.in:77: <key name="panel-scale-text-icons" type="b">
  3. Binary file data/gschemas.compiled matches
  4. data/org.cinnamon.gschema.xml:57: <key type="b" name="panel-scale-text-icons">
  5. debian/cinnamon/usr/lib/cinnamon-settings/cinnamon-settings.py:1778: box.add(GSettingsCheckButton(_("Allow Cinnamon to scale panel text and icons according to the panel heights"), "org.cinnamon", "panel-scale-text-icons", "org.cinnamon/panel-resizable"))
  6. debian/cinnamon/usr/share/cinnamon/js/ui/panel.js:693: global.settings.connect("changed::panel-scale-text-icons", Lang.bind(this, this._onScaleTextIconsChanged))
  7. debian/cinnamon/usr/share/cinnamon/js/ui/panel.js:800: if (global.settings.get_boolean("panel-scale-text-icons") && global.settings.get_boolean("panel-resizable")) {
  8. debian/cinnamon/usr/share/cinnamon/js/ui/panel.js:823: if (global.settings.get_boolean("panel-scale-text-icons") && global.settings.get_boolean("panel-resizable")) {
  9. debian/cinnamon/usr/share/cinnamon/js/ui/applet.js:115: this._scaleMode = global.settings.get_boolean('panel-scale-text-icons') && global.settings.get_boolean('panel-resizable');
  10. debian/cinnamon/usr/share/cinnamon/js/ui/applet.js:313: this._scaleMode = global.settings.get_boolean('panel-scale-text-icons') && global.settings.get_boolean('panel-resizable');
  11. debian/cinnamon/usr/share/cinnamon/applets/workspace-switcher@cinnamon.org/applet.js:89: this._scaleMode = global.settings.get_boolean('panel-scale-text-icons');
  12. debian/cinnamon/usr/share/cinnamon/applets/panel-launchers@cinnamon.org/applet.js:102: if (global.settings.get_boolean('panel-scale-text-icons') && global.settings.get_boolean('panel-resizable')) {
  13. debian/cinnamon/usr/share/cinnamon/applets/window-list@cinnamon.org/applet.js:296: if (global.settings.get_boolean('panel-scale-text-icons') && global.settings.get_boolean('panel-resizable')) {
  14. debian/cinnamon/usr/share/cinnamon/applets/systray@cinnamon.org/applet.js:82: if (global.settings.get_boolean('panel-scale-text-icons')) {
  15. debian/cinnamon/usr/share/glib-2.0/schemas/org.cinnamon.gschema.xml:57: <key type="b" name="panel-scale-text-icons">
  16. files/usr/lib/cinnamon-settings/cinnamon-settings.py:1778: box.add(GSettingsCheckButton(_("Allow Cinnamon to scale panel text and icons according to the panel heights"), "org.cinnamon", "panel-scale-text-icons", "org.cinnamon/panel-resizable"))
  17. files/usr/share/cinnamon/applets/workspace-switcher@cinnamon.org/applet.js:89: this._scaleMode = global.settings.get_boolean('panel-scale-text-icons');
  18. files/usr/share/cinnamon/applets/panel-launchers@cinnamon.org/applet.js:102: if (global.settings.get_boolean('panel-scale-text-icons') && global.settings.get_boolean('panel-resizable')) {
  19. files/usr/share/cinnamon/applets/window-list@cinnamon.org/applet.js:296: if (global.settings.get_boolean('panel-scale-text-icons') && global.settings.get_boolean('panel-resizable')) {
  20. files/usr/share/cinnamon/applets/systray@cinnamon.org/applet.js:82: if (global.settings.get_boolean('panel-scale-text-icons')) {
  21. js/ui/panel.js:693: global.settings.connect("changed::panel-scale-text-icons", Lang.bind(this, this._onScaleTextIconsChanged))
  22. js/ui/panel.js:800: if (global.settings.get_boolean("panel-scale-text-icons") && global.settings.get_boolean("panel-resizable")) {
  23. js/ui/panel.js:823: if (global.settings.get_boolean("panel-scale-text-icons") && global.settings.get_boolean("panel-resizable")) {
  24. js/ui/applet.js:115: this._scaleMode = global.settings.get_boolean('panel-scale-text-icons') && global.settings.get_boolean('panel-resizable');
  25. js/ui/applet.js:313: this._scaleMode = global.settings.get_boolean('panel-scale-text-icons') && global.settings.get_boolean('panel-resizable');
RAW Paste Data