Keshav Kini

frame-local zoom affects some parts of powerline globally

15

Reproduce: 1. open spacemacs 2. do `SPC z f + + + + + + + +` to zoom in 3. do `SPC F n` to create a new frame...

Improve integration of SULFA into the community books

9

Right now, SULFA seems like kind of a standalone thing. It requires one of two particular SAT solvers, `minisat` or `zchaff`, neither of which has been actively developed in the...

This was initially reported by @acoglio on the acl2-help mailing list as an issue with xdoc and an FTY deftagsum with only one summand. I reduced the repro case to...

Collision when packagesExtra package with [] specifier shares dependency with package in requirements

3

Here's `shell.nix`: ```nix { pkgs ? import { } }: let mach-nix = import (builtins.fetchGit { url = "https://github.com/DavHau/mach-nix"; ref = "refs/tags/3.3.0"; }) { }; in pkgs.mkShell { buildInputs =...

Dependencies with and without extras specifiers aren't unified

1

I would expect this to work (by deciding that the requirement `pydantic[email]` subsumes the requirement `pydantic`) but it tells me that the requirements can't be resolved: ``` [1] [kkini@kkini:/tmp/foo]$ cat...

Layout breaks in Emacs 25.1

3

Steps to reproduce: - `emacs -Q` - require `shell-pop` - `C-x 3` to split into left and right windows - `M-x shell-pop` twice Expected behavior: After the first `M-x shell-pop`,...

ヘッダの表示はツリーのレベルによって変わります

1

themeとしてはleuvenを使ってますが、例えば以下のようなorgファイルがあったら、「ほげ」から「ぴよ」に行くと、ヘッダに表示されてるAUTHORフィールドが小さくなるようです。 ``` org #+TITLE: タイトル #+AUTHOR: 名前 * ほげ ** ぴよ ``` スクリーンショットも撮っておきました。（普段からEmacsで日本語のテキストを扱っていないので美しくないかもしれませんが）  

It would be nice to have a compile-time configuration option to disable the behavior where YACReader connects to github to look for new versions and pops up a dialog box...