Comments (6)
Similar to #28, gap is gone now but white trim remains.
from drop-down-terminal-x.
This is still occurring on Pop_OS! with both the current git and gnome extensions channels. I will fix it myself and post it.
from drop-down-terminal-x.
Approved, I saw this on clean ubuntu install
from drop-down-terminal-x.
The reason is custom theme. With adwaita there is no any borders even in ubuntu.
from drop-down-terminal-x.
The reason is custom theme. With adwaita there is no any borders even in ubuntu.
If you look carefully even with Adwaita (first image) there is still a trim but it is less apparent, but the exact same problem is present, see the screenshots I have attached. The second screenshot is a custom theme (materia) where the trim is more apparent because of the different opacity level of the background in the custom theme. So the problem appears to be theme independent.
from drop-down-terminal-x.
commit 53e0bc97b122b0d810adffb9c358e7caae2989a6
Author: Aman Khosa <[email protected]>
Date: Thu Oct 10 23:39:00 2019 +0100
Tweak padding
diff --git a/[email protected]/extension.js b/[email protected]/extension.js
index e909cc0..be6755f 100644
--- a/[email protected]/extension.js
+++ b/[email protected]/extension.js
@@ -597,10 +597,10 @@ const DropDownTerminalXExtension = new Lang.Class({
break
}
- this._windowX = this._windowX + leftPadding
- this._windowY = this._windowY + topPadding
- this._windowWidth = this._windowWidth - leftPadding - rightPadding
- this._windowHeight = this._windowHeight - topPadding - bottomPadding
+ this._windowX = this._windowX + leftPadding - 1
+ this._windowY = this._windowY + topPadding - 1
+ this._windowWidth = this._windowWidth - leftPadding - rightPadding + 2
+ this._windowHeight = this._windowHeight - topPadding - bottomPadding + 2
// applies the change dynamically if the terminal is already spawn
if (this._busProxy !== null && this._windowHeight !== null) {
This quick hack removes the trim, so the problem is likely near this part of the code.
from drop-down-terminal-x.
Related Issues (20)
- Keybinding for renaming tabs
- Crashing when using custom colors HOT 5
- open with cutom text/command HOT 1
- Terminal window is incorrectly positioned when animation is enabled HOT 1
- Right-click hides the terminal when "hide on focus out" is enabled
- extention will not launch or display HOT 5
- Animation issue with vertical dual screen configuration
- Open new terminal in current directory feature does not work HOT 3
- GNOME 3.38 support, please. Don't works on 3.38. HOT 15
- Terminal stopped working - missing JS module 'tweener' HOT 2
- URLs should be clickable HOT 1
- close animation even when animations are disabled
- Add custom fonts HOT 5
- Crashes under Wayland HOT 1
- Extra unnecessary Gnome keyboard bindings are created
- Infinte scrolling
- Feature request: background blur support
- Refocus terminal on capture focus pressed
- When full screen mode is activated, hide GNOME toolbars that collide with window. HOT 1
- Add GNOME 40 support, please! And add it to https://extensions.gnome.org/extension/1509/drop-down-terminal-x/ HOT 5
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from drop-down-terminal-x.