-
Notifications
You must be signed in to change notification settings - Fork 30
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fixed hide-corners bug #140
Conversation
@@ -150,6 +150,31 @@ function has_icon_shadow() { | |||
function remove_text_shadow() { | |||
Panel.remove_style_class_name('dpt-panel-text-shadow'); | |||
} | |||
/** |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Remove register_hide_corners
- you don't need a dynamic stylesheet for a static style.
@@ -206,7 +221,7 @@ function initialize_settings() { | |||
|
|||
for (let i = Theming.stylesheets.length - 1; i >= 0; i--) { | |||
let stylesheet = Theming.stylesheets[i]; | |||
if (stylesheet.indexOf('background') !== -1 && stylesheet.indexOf('panel-') !== -1) { | |||
if (stylesheet.indexOf('background') !== -1 && stylesheet.indexOf('panel-') !== -1 && stylesheet.indexOf('panel-hide-corners') == -1) { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Revert.
@@ -247,7 +262,7 @@ function initialize_settings() { | |||
|
|||
for (let i = Theming.stylesheets.length - 1; i >= 0; i--) { | |||
let stylesheet = Theming.stylesheets[i]; | |||
if (stylesheet.indexOf('background') !== -1 && stylesheet.indexOf('panel-') !== -1) { | |||
if (stylesheet.indexOf('background') !== -1 && stylesheet.indexOf('panel-') !== -1 && stylesheet.indexOf('panel-hide-corners') == -1) { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Revert.
@@ -285,7 +300,7 @@ function initialize_settings() { | |||
|
|||
for (let i = Theming.stylesheets.length - 1; i >= 0; i--) { | |||
let stylesheet = Theming.stylesheets[i]; | |||
if (stylesheet.indexOf('background') !== -1 && stylesheet.indexOf('panel.dpt.css') !== -1) { | |||
if (stylesheet.indexOf('background') !== -1 && stylesheet.indexOf('panel.dpt.css') !== -1 && stylesheet.indexOf('panel-hide-corners') == -1) { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Revert.
[email protected]/extension.js
Outdated
if (Settings.get_enable_text_color()) { | ||
if (text !== null) { | ||
Theming.set_text_color(); | ||
} else { | ||
log('[Dynamic Panel Transparency] Failed to enabled text coloring.'); | ||
} | ||
} | ||
|
||
/* Register hide corners. */ | ||
let hide_corners = Theming.register_hide_corners(); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
let hide_corners = Theming.register_hide_corners(); |
[email protected]/extension.js
Outdated
if (Settings.get_enable_text_color()) { | ||
if (text !== null) { | ||
Theming.set_text_color(); | ||
} else { | ||
log('[Dynamic Panel Transparency] Failed to enabled text coloring.'); | ||
} | ||
} | ||
|
||
/* Register hide corners. */ |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
/* Register hide corners. */ |
let hide_corners = Theming.register_hide_corners(); | ||
|
||
if (Settings.get_hide_corners()) { | ||
if (hide_corners !== null) { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Remove conditional.
[email protected]/stylesheet.css
Outdated
@@ -20,3 +20,6 @@ | |||
background-image: none; | |||
} | |||
|
|||
/* Prevents overlapping of corners + top bar when using transparency */ | |||
.panel-corner { | |||
-panel-corner-border-width: 0px;} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
-panel-corner-border-width: 0px;} | |
-panel-corner-border-width: 0px; | |
} | |
[email protected]/extension.js
Outdated
@@ -106,14 +106,25 @@ function modify_panel() { | |||
/* Register text color styling. */ | |||
let [text, icon, arrow] = Theming.register_text_color(Settings.get_text_color()); // eslint-disable-line no-unused-vars | |||
let [maximized_text, maximized_icon, maximized_arrow] = Theming.register_text_color(Settings.get_maximized_text_color(), 'maximized'); // eslint-disable-line no-unused-vars | |||
|
|||
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@ajbucci I reviewed this and listed the necessary changes, I'll apply them myself and commit this weekend unless you'd like to. |
Co-authored-by: Evan Welsh <[email protected]>
Co-authored-by: Evan Welsh <[email protected]>
Co-authored-by: Evan Welsh <[email protected]>
Co-authored-by: Evan Welsh <[email protected]>
@ewlsh Thanks for taking the time to review the changes! I'm a bit shot at the moment as my wife and I just had our first child this past week and are still adjusting. Go ahead and apply your changes/suggestions this weekend. Thanks again! |
Changes were manually applied, thank you 👋 |
Hey, this is my first pull request so apologies if I haven't done this quite right! This should fix the issue "Panel corners black after toggling overview"
Fixes #139