Need a unique gift idea?
A Pastebin account makes a great Christmas gift
SHARE
TWEET

Untitled

a guest Nov 20th, 2018 102 Never
Upgrade to PRO!
ENDING IN00days00hours00mins00secs
 
  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
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top