Gnome Shell / Screencast / UPDATE_POINTER_TIME
System: Ubuntu 18 x64
I use Gnome Shell's built-in screen recorder with shortcut Ctrl+Shift+Alt+R. It works nice with one exception:
It creates a nice 30 frame output video, but it updates the mouse pointer at every 100ms only, so the pointer is too sloppy and laggy to demonstrate with it any stuff on the screen. See the relevant source code here:
https://github.com/GNOME/gnome-shell/blob/master/src/shell-recorder.c#L135
This option seems hard coded. My question is, how can I patch my system to change this value to 33 to make the cursor update with every 30 frames?
Looking for this option in my system, I can find it in the following lib:
cd /usr/lib/gnome-shell
grep -ir UPDATE_POINTER_TIME
Binary file libgnome-shell.so matches
This file can be found in the following package:
apt-file search libgnome-shell.so
gnome-shell: /usr/lib/gnome-shell/libgnome-shell.so
But I cannot find a devel package for this file. Nor does gnome-devel contain source code for this lib.
Any idea how I could change this hard coded value? Any help is greatly appreciated. Thanks.
gnome-shell screencasts
edited Dec 26 '18 at 19:31
mature
1474
asked Dec 23 '18 at 17:50
log69
6817
add a comment |
System: Ubuntu 18 x64
I use Gnome Shell's built-in screen recorder with shortcut Ctrl+Shift+Alt+R. It works nice with one exception:
It creates a nice 30 frame output video, but it updates the mouse pointer at every 100ms only, so the pointer is too sloppy and laggy to demonstrate with it any stuff on the screen. See the relevant source code here:
https://github.com/GNOME/gnome-shell/blob/master/src/shell-recorder.c#L135
This option seems hard coded. My question is, how can I patch my system to change this value to 33 to make the cursor update with every 30 frames?
Looking for this option in my system, I can find it in the following lib:
cd /usr/lib/gnome-shell
grep -ir UPDATE_POINTER_TIME
Binary file libgnome-shell.so matches
This file can be found in the following package:
apt-file search libgnome-shell.so
gnome-shell: /usr/lib/gnome-shell/libgnome-shell.so
But I cannot find a devel package for this file. Nor does gnome-devel contain source code for this lib.
Any idea how I could change this hard coded value? Any help is greatly appreciated. Thanks.
gnome-shell screencasts
edited Dec 26 '18 at 19:31
mature
1474
asked Dec 23 '18 at 17:50
log69
6817
add a comment |
System: Ubuntu 18 x64
I use Gnome Shell's built-in screen recorder with shortcut Ctrl+Shift+Alt+R. It works nice with one exception:
It creates a nice 30 frame output video, but it updates the mouse pointer at every 100ms only, so the pointer is too sloppy and laggy to demonstrate with it any stuff on the screen. See the relevant source code here:
https://github.com/GNOME/gnome-shell/blob/master/src/shell-recorder.c#L135
This option seems hard coded. My question is, how can I patch my system to change this value to 33 to make the cursor update with every 30 frames?
Looking for this option in my system, I can find it in the following lib:
cd /usr/lib/gnome-shell
grep -ir UPDATE_POINTER_TIME
Binary file libgnome-shell.so matches
This file can be found in the following package:
apt-file search libgnome-shell.so
gnome-shell: /usr/lib/gnome-shell/libgnome-shell.so
But I cannot find a devel package for this file. Nor does gnome-devel contain source code for this lib.
Any idea how I could change this hard coded value? Any help is greatly appreciated. Thanks.
gnome-shell screencasts
edited Dec 26 '18 at 19:31
mature
1474
asked Dec 23 '18 at 17:50
log69
6817
System: Ubuntu 18 x64
I use Gnome Shell's built-in screen recorder with shortcut Ctrl+Shift+Alt+R. It works nice with one exception:
It creates a nice 30 frame output video, but it updates the mouse pointer at every 100ms only, so the pointer is too sloppy and laggy to demonstrate with it any stuff on the screen. See the relevant source code here:
https://github.com/GNOME/gnome-shell/blob/master/src/shell-recorder.c#L135
This option seems hard coded. My question is, how can I patch my system to change this value to 33 to make the cursor update with every 30 frames?
Looking for this option in my system, I can find it in the following lib:
cd /usr/lib/gnome-shell
grep -ir UPDATE_POINTER_TIME
Binary file libgnome-shell.so matches
This file can be found in the following package:
apt-file search libgnome-shell.so
gnome-shell: /usr/lib/gnome-shell/libgnome-shell.so
But I cannot find a devel package for this file. Nor does gnome-devel contain source code for this lib.
Any idea how I could change this hard coded value? Any help is greatly appreciated. Thanks.
gnome-shell screencasts
gnome-shell screencasts
edited Dec 26 '18 at 19:31
mature
1474
asked Dec 23 '18 at 17:50
log69
6817
edited Dec 26 '18 at 19:31
mature
1474
asked Dec 23 '18 at 17:50
log69
6817
edited Dec 26 '18 at 19:31
mature
1474
edited Dec 26 '18 at 19:31
mature
1474
edited Dec 26 '18 at 19:31
mature
1474
1474
asked Dec 23 '18 at 17:50
log69
6817
asked Dec 23 '18 at 17:50
log69
6817
asked Dec 23 '18 at 17:50
log69
6817
6817
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
"Devel" packages never contain source code for libraries. They contain files for linking your own code to those already-compiled libraries.
To change the source code of an existing compiled file, you're looking for source packages from which the regular packages (including -dev ones) are built. This isn't something installable, but instead downloadable using:
apt-get source gnome-shell
This will download the upstream sources from GNOME, plus the Debian packaging files. With those you can compile and create a new .deb package using dpkg-buildpackage -us -uc and install it with dpkg -i.
answered Dec 26 '18 at 20:17
grawity
233k36493547
Thanks, that should do.
– log69
Dec 27 '18 at 20:19
add a comment |
Your Answer
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "3"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fsuperuser.com%2fquestions%2f1387174%2fgnome-shell-screencast-update-pointer-time%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
"Devel" packages never contain source code for libraries. They contain files for linking your own code to those already-compiled libraries.
To change the source code of an existing compiled file, you're looking for source packages from which the regular packages (including -dev ones) are built. This isn't something installable, but instead downloadable using:
apt-get source gnome-shell
This will download the upstream sources from GNOME, plus the Debian packaging files. With those you can compile and create a new .deb package using dpkg-buildpackage -us -uc and install it with dpkg -i.
answered Dec 26 '18 at 20:17
grawity
233k36493547
Thanks, that should do.
– log69
Dec 27 '18 at 20:19
add a comment |
"Devel" packages never contain source code for libraries. They contain files for linking your own code to those already-compiled libraries.
To change the source code of an existing compiled file, you're looking for source packages from which the regular packages (including -dev ones) are built. This isn't something installable, but instead downloadable using:
apt-get source gnome-shell
This will download the upstream sources from GNOME, plus the Debian packaging files. With those you can compile and create a new .deb package using dpkg-buildpackage -us -uc and install it with dpkg -i.
answered Dec 26 '18 at 20:17
grawity
233k36493547
Thanks, that should do.
– log69
Dec 27 '18 at 20:19
add a comment |
"Devel" packages never contain source code for libraries. They contain files for linking your own code to those already-compiled libraries.
To change the source code of an existing compiled file, you're looking for source packages from which the regular packages (including -dev ones) are built. This isn't something installable, but instead downloadable using:
apt-get source gnome-shell
This will download the upstream sources from GNOME, plus the Debian packaging files. With those you can compile and create a new .deb package using dpkg-buildpackage -us -uc and install it with dpkg -i.
answered Dec 26 '18 at 20:17
grawity
233k36493547
"Devel" packages never contain source code for libraries. They contain files for linking your own code to those already-compiled libraries.
To change the source code of an existing compiled file, you're looking for source packages from which the regular packages (including -dev ones) are built. This isn't something installable, but instead downloadable using:
apt-get source gnome-shell
This will download the upstream sources from GNOME, plus the Debian packaging files. With those you can compile and create a new .deb package using dpkg-buildpackage -us -uc and install it with dpkg -i.
answered Dec 26 '18 at 20:17
grawity
233k36493547
answered Dec 26 '18 at 20:17
grawity
233k36493547
answered Dec 26 '18 at 20:17
grawity
233k36493547
answered Dec 26 '18 at 20:17
grawity
233k36493547
233k36493547
Thanks, that should do.
– log69
Dec 27 '18 at 20:19
add a comment |
Thanks, that should do.
– log69
Dec 27 '18 at 20:19
Thanks, that should do.
– log69
Dec 27 '18 at 20:19
Thanks, that should do.
– log69
Dec 27 '18 at 20:19
add a comment |
Thanks for contributing an answer to Super User!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fsuperuser.com%2fquestions%2f1387174%2fgnome-shell-screencast-update-pointer-time%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
